- Tableaux 2011
July 4-8, 2011The 20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
- PCC - Proof, Computation,
June 18-19, 2010This is a workshop on new developments in proof theory motivated by computer science demands.
- Gentzen Systems and Beyond
July 6, 2009This 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, 2007A small meeting on deep inference and related matters.
October 9-10, 2007
- Logic and Information, From
Logic to Constructive Reasoning
January 22-25, 2007Swiss - South-African joint seminar