Date: 20-21 January 2007
Location: Universität Tübingen, Wilhelm-Schickard-Institut, Sand 13, Room A104
Saturday, 20 January 2007, 14-19h:
- Enrico Moriconi (Pisa): On the Inversion Principle
- Peter Schroeder-Heister (Tübingen): Inversion Principles and Definitional Reflection
- Michael Arndt (Tübingen): A Hypergraph Interpretation of Gentzen's Logistic Calculus
- Thomas Piecha (Tübingen): Some Remarks on the Physical Interpretation of Church's Thesis
Sunday, 21 January 2007, 11-17h:
- Luiz Carlos Pereira (Rio de Janeiro): Multiple Conclusion Intuitionistic Systems
- Edward Hermann Haeusler (Rio de Janeiro): On Some Relations between Fragments of Classical, Intuitionistic and Minimal Logic
- Laura Tesconi (Pisa): A Strong Normalization Theorem for Natural Deduction with General Elimination Rules
- Ernst Zimmermann (Tübingen): A Combinatorial Proof of Strong Normalization in Natural Deduction and Simple Type Theory
Contact: Thomas Piecha
