5th International Workshop on Analytic Proof Systems

Schedule - Sunday, 10 October, 2010

(Click on the titles for corresponding abstracts)

-
 12.30 -14.00 LUNCH  -  (in the Hyatt, paid for the listed participants)
 14.00 -14.40 Invited Talk:
Cut elimination and Orevkov's speed up result in strange surroundings
   Norbert Preining
 14.4015.05 Cut-free and normalised logic of proofs
   Francesca Poggiolesi (joint work with Brian Hill)
 15.05 -15.30 Path breaking and analyticity in proof nets
   Richard McKinley
 15.30 -16.00 COFFEE BREAK
 16.00 -16.25 Basis of Admissible Rules in the Implication-Negation Fragment of Super-Intuitionistic Logics
   Petr Cintula (joint work with George Metcalfe)
 16.25 -16.50 Can we transform formal proofs into interesting mathematical objects?
   Michel Parigot
 16.50 -17.15 On the Structure of Herbrand-Disjunctions
   Stefan Hetzl
 17.15 -17.40 Fast Cut-Elimination for LJ
   Matthias Baaz (joint work with Michel Parigot)