Schedule
This is the programme of WoLLIC 2019 and the two satellite workshops.
Monday Tuesday Wednesday Thursday Friday Saturday
Monday July 1 – Proof Theory in Logic
| 9:00 – 9:30 | Welcome and registration |
| 9:30 – 10:10 | Matthias Baaz |
| 10:10 – 10:50 | Petr Cintula |
| 10:50 – 11:20 | Coffee Break |
| 11:20 – 12:00 | Arnon Avron |
| 12:00 – 12:40 | Roman Kuznets |
| 12:40 – 14:10 | Lunch |
| 14:10 – 14:50 | Tadeusz Litak |
| 14:50 – 15:30 | Sara Negri |
| 15:30 – 16:00 | Coffee break |
| 16:00 – 16:40 | Bahareh Afshari |
| 16:40 – 18:00 | Reception |
All talks of the workshop on Proof Theory in Logic will be given by invited speakers.