All times are in Central European Summer Time (CEST).
| Date | Time | Session |
|---|---|---|
| Monday, June 30 | 17:00 | Mathematical Perspectives (two chapters) |
| Tuesday, July 1 | 09:00 | Informational and Interactive Perspectives |
| Wednesday, July 2 | 17:00 | Philosophical Perspectives |
| Friday, July 4 | 09:00 | Computational Perspectives |
| 17:00 | Mathematical Perspectives (two chapters) |
All times are in Central European Summer Time (CEST).
| Time | Chapter | Presenter(s) |
|---|---|---|
| 09:00–09:30 | Modal Fixpoint Logics | Yde Venema |
| 09:30–10:00 | Decidable Fragments | Emanuel Kieroński, Ian Pratt-Hartmann, Lidia Tendera |
| 10:00–10:30 | Conditional Logics | Jen Davoren, Paul Egré, Marianna Girlando |
| 10:30–11:00 | Break | — |
| 11:00–11:30 | Epistemic Predicate Logic | R. Ramanujam, Yanjing Wang |
| 11:30–12:00 | Modal Game Logic | Sujata Ghosh, Dominik Klein |
| 14:00–14:30 | Finite Model Theory | Martin Otto |
| 14:30–15:00 | Modal Logics and Machine Learning | Antti Kuusisto, Carsten Lutz |
| 15:00–16:30 | Break/Buffer | — |
| 16:30–17:00 | Non-Classical Logics | Søren Knudstorp |
| 17:00–17:30 | Alternatives to Possible World Semantics | Guillaume Massas, Vít Puncochar |
| 17:30–18:00 | Higher-Order Modal Logic | Peter Fritz |
| Time | Chapter | Presenter(s) |
|---|---|---|
| 14:00–14:30 | Coalgebraic Modal Logic | Helle Hansen, Lutz Schröder |
| Time | Chapter | Presenter(s) |
|---|---|---|
| 09:00–09:30 | Proof Systems for Modal Logic | Roman Kuznets, Sara Negri |
| 09:30–10:00 | Non-Well-Founded and Cyclic Proofs | Bahareh Afshari, Graham Leigh, Daniyar Shamkanov |
| 10:00–10:30 | Break | — |
| 10:30–11:00 | Modal Logic in Topology and Set Theory | Juan Aguilera, Guram Bezhanishvili, Nick Bezhanishvili |
| 11:00–11:30 | Dynamic Epistemic Logic | Alexandru Baltag |
| 11:30–12:00 | Social Epistemic Logic (Social Network Logic) | Sonja Smets |
| 12:00–14:00 | Break | — |
| 14:00–14:30 | Higher-Order Modal Logic | Peter Fritz |
| 14:30–15:00 | Temporal Logic and Verification | Stéphane Demri |
| 15:00–15:30 | Epistemic Logic and Epistemology | Adam Bjorndahl, Aybüke Özgün |
| 15:30–16:00 | Intuitionistic Modal Logic with Applications | Iris van der Giessen, Rosalie Iemhoff, Tadeusz Litak |
| 16:00–16:30 | Reflection Algebras and Logics | Lev Beklemishev, David Fernández-Duque, Joost Joosten |