Logo Utrecht University

26th Workshop on Logic, Language, Information and Computation (WoLLIC 2019), 2-5 July

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.