Invited Speakers

Tutorials

Duality in logic (abstract)
Mai Gehrke, Université Paris Diderot – Paris 7, France.
http://liafa.jussieu.fr/~mgehrke/

Finite models and practical decision procedures in propositional substructural logics (abstract)
Peter Jipsen, Chapman University, USA.
http://www1.chapman.edu/~jipsen/

Computing Bounds from Arithmetical Proofs (abstract)
Stanley Wainer, University of Leeds, UK.

Evening Lectures

Justification logic - a short introduction (abstract)
Thomas Studer, University of Bern, Switzerland.
http://www.iam.unibe.ch/~tstuder/

Foundational Proof Certificates (abstract)
Dale Miller, INRIA-Saclay & LIX/Ecole Polytechnique, France.
http://www.lix.polytechnique.fr/~dale/

Dynamic Epistemic Logic - an Overview (abstract)
Hans van Ditmarsch. LORIA, Nancy & IMSc, Chennai.
http://personal.us.es/hvd/