Logic

Group Leader

• Prof. Dr. George Metcalfe

Members of the Research Group

• Christoph Röthlisberger (PhD student)
• Jonas Rogger (PhD student)
• Michael Bärtschi (Masters student)
• Laura Clénin (Masters student)
• Michel Marti (Masters student)
• Corinna Wälti (Masters student)
• Dr. Leonardo Cabrer (Postdoc, now at Oxford University)
• Prof. Dr. Jürg Schmid (Retired)

Partner Group

• Theoretical Computer Science and Logic (TIL)

Research Topics

• Proof Theory
• Non-Classical Logics
• Ordered Algebraic Structures

Activities

• "Proof and Computation" Winter School in Logic, 27-31 January 2013.
• Special Issue: Admissible Rules and Unification, Notre Dame Journal of Formal Logic (Call for Papers)
• Tutorial on Admissible Rules, Pisa Summer Workshop on Proof Theory, June 2012.
• Special Issue: Mathematical Fuzzy Logic, Journal of Logic and Computation 21(5), 2011.
• Automated Reasoning with Analytic Tableaux and Related Methods, Springer LNCS 6793, 2011.
• TABLEAUX 2011, Bern, 4-8 July 2011.
• Workshop on Admissible Rules and Unification (WARU 2011), Utrecht, 26-28 May 2011.
• Algebra and Coalgebra meet Proof Theory (ALCOP 2011), Bern, 27-29 April 2011
• Special Issue: Order, Algebra and Logics, Journal of Logic and Computation 20(4), 2010.
• Proof, Computation, Complexity, Bern (PCC 2010), 18-19 June 2010.
• Workshop on Algebra and Logic, Bern, 8-9 April 2010.

Publications

• Publication List of Prof. Metcalfe