Upcoming Events
- Tableaux 2011
July 4-8, 2011
The 20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Past Events
- PCC - Proof, Computation, Complexity
June 18-19, 2010
This is a workshop on new developments in proof theory motivated by computer science demands.
- Gentzen Systems and Beyond
July 6, 2009
This is a satellite workshop of Tableaux 2009 on Gentzen-style proof systems and generalisations or extensions of them. - Deep Inference and the
Essence of Proofs
November 19-23, 2007
A small meeting on deep inference and related matters. - Arbeitstagung
Bern-München
October 9-10, 2007
- Logic and Information, From
Logic to Constructive Reasoning
January 22-25, 2007
Swiss - South-African joint seminar