Invited Speakers


Duality in logic (abstract)
Mai Gehrke, Université Paris Diderot – Paris 7, France.

Finite models and practical decision procedures in propositional substructural logics (abstract)
Peter Jipsen, Chapman University, USA.

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.

Foundational Proof Certificates (abstract)
Dale Miller, INRIA-Saclay & LIX/Ecole Polytechnique, France.

Dynamic Epistemic Logic - an Overview (abstract)
Hans van Ditmarsch. LORIA, Nancy & IMSc, Chennai.