Schedule
This is the programme of WoLLIC 2019 and the two satellite workshops.
Monday Tuesday Wednesday Thursday Friday Saturday
Thursday July 4 – WoLLIC
| 9:00 – 9:30 | Willem Conradie, Andrew Craig, Alessandra Palmigiano, Nachoem M. Wijnberg Modelling informational entropy |
| 9:30 – 10:00 | Hans van Ditmarsch, Louwe B. Kuijer Knowledge without complete certainty |
| 10:00 – 10:30 | Alexandru Baltag, Nick Bezhanishvili, Saúl F. González The McKinsey-Tarski theorem for topological evidence logics |
| 10:30-11:00 | Coffee Break |
| Parallel session block | |
| 11:00 – 11:30 | (A) Denis I. Saveliev On first-order expressibility of satisfiability in submodels (B) Miika Hannula, Lauri Hella Complexity thresholds in inclusion logic |
| 11:30 – 12:00 | (A) Nick Bezhanishvili, Gianluca Grilleti, Wesley H. Holliday Algebraic and topological semantics for inquisitive logic via choice-free duality (B) Flavio Ferrarotti, Senén González, José M. T. Torres, Jan van den Bussche, Jonni Virtema Descriptive complexity of deterministic polylogarithmic time |
| 12:00 – 12:30 | (A) Juha Kontinen, Fan Yang Logics for first-order team properties (B) Raheleh Jalali An exponential lower bound for proofs in focused calculi |
| 12:30 – 14:00 | Lunch |
| 14:00 -1 4:50 | Invited talk Reinhard Muskens – Logic, Lambdas, Vectors, and Concepts |
| 14:50 – 15:20 | Eveline Lehmann, Thomas Studer Subset models for justification logic |
| 15:20 – 15:50 | Coffee break |
| 15:50 – 16:20 | Matteo Acclavio, Lutz Strassburger On combinatorial proofs for logics of relevance and entailment |
| 17:30 – 18:30 | Drinks at the Utecht University Hall (Google maps) |
| 19:00 – 21:00 | Dinner at The Colour Kitchen Oude Gracht (Google maps) |