Schedule
This is the programme of WoLLIC 2019 and the two satellite workshops.
Monday Tuesday Wednesday Thursday Friday Saturday
Tuesday July 2 – Proof Theory in Logic / WoLLIC
| 8:30 – 9:00 | WoLLIC: Welcome and registration |
| 9:00 – 9:50 | Invited talk Lev Beklemishev – Reflection Algebras for Theories of Iterated Truth Definitions |
| 9:50 – 10:30 | Valentin Shehtman |
| 10:30 – 11:00 | Coffee Break |
| 11:00 – 11:30 | Yury Savateev, Daniyar Shamkanov Cut elimination for the weak modal Grzegorczyk logic via non-well-founded proofs |
| 11:30 – 12:00 | Marianna Girlando, Sara Negri, Giorgio Sbardolini Uniform labelled calculi for conditional and counterfactual logics |
| 12:00 – 12:30 | Jinsheng Chen, Giuseppe Greco, Alessandra Palmigiano, Apostolos Tzimoulis Non normal logics: semantic analysis and proof theory |
| 12:30 – 14:30 | Lunch |
| 14:30 – 15:00 | Matthias Baaz, Anela Lolic Note on globally sound analytic calculi for quantifier macros |
| 15:00 – 15:30 | Thomas Powell, Peter Schuster, Franziskus Wiesnet An algorithmic approach to the existence of ideal objects in commutative algebra |
| 15:30 – 16:00 | Coffee break |
| 16:00 – 16:50 | Invited talk George Metcalfe – Proof Theory for Group-Like Structures |
Valentin Shehtman is an invited speaker of the workshop on Proof Theory in Logic.