4th International Workshop on Analytic Proof Systems

Schedule - Saturday, 22 November, 2008

(Click on the titles for corresponding abstracts)

 12 :45  - 14 :15 LUNCH in LAS Cafetria
 14 :15  - 15 :00 Invited Talk:
A range of object-level proof systems by focusing a linear logical framework
   Dale Miller
 15 :00  - 15 :30 Cut-Elimination by Resolution and Skolemization in Second-Order Logic
   Daniel Weller
 15 :30  - 16 :00 A Pure Proof Theory for Modal Logics
   Kain Brünnler
 16 :00  - 16 :30 COFFEE BREAK
 16 :30  - 17 :15 Invited Talk:
The Epsilon Theorems and Herbrand Complexity
   Georg Moser
 17 :15  - 17 :45 The Inverse Method with Constraints
   Sean McLaughlin / Frank Pfenning
 17 :45  - 18 :15 Multirules in Classical First Order Predicate Logics
   Elmar Eder