Notice: Function _load_textdomain_just_in_time was called incorrectly. Translation loading for the koko-analytics domain was triggered too early. This is usually an indicator for some code in the plugin or theme running too early. Translations should be loaded at the init action or later. Please see Debugging in WordPress for more information. (This message was added in version 6.7.0.) in /hum/web/sitestest.hum.uu.nl/htdocs/wp-includes/functions.php on line 6114

Notice: Function _load_textdomain_just_in_time was called incorrectly. Translation loading for the formidable domain was triggered too early. This is usually an indicator for some code in the plugin or theme running too early. Translations should be loaded at the init action or later. Please see Debugging in WordPress for more information. (This message was added in version 6.7.0.) in /hum/web/sitestest.hum.uu.nl/htdocs/wp-includes/functions.php on line 6114
26th Workshop on Logic, Language, Information and Computation (WoLLIC 2019), 2-5 July | Schedule

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

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.