(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 | ||||||||