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


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.