| 09.00-09.30 | Registration and Welcome (Disclaimer: no coffee yet!) | |
| 09.30-10.30 | Jan Rutten (invited) | Moessner's Theorem: an extensive exercise in coinduction (abstract) |
| 10.30-11.00 | Coffee break | |
| 11.00-11.30 | Matej Dostal | Many-valued semantics of generalised quantifiers for natural language with bialgebras (abstract) |
| 11.30-12.00 | Apostolos Tzimoulis | First-order logic properly displayed (abstract) |
| 12.00-14.30 | Time for lunch | |
| 14.30-15.30 | Daniela Petrisan (invited) | Hybrid set-vector automata from a category-theoretic perspective (abstract) |
| 15.30-16.00 | Coffee break | |
| 16.00-16.30 | Marta Bilkova | Expressivity of many-valued modal logics, coalgebraically (abstract) |
| 16.30-17.00 | Petr Cintula | Lindenbaum lemma for infinitary logics (abstract) |
| 09.00-10.00 | Helle Hvid Hansen (invited) | Game Logic, coalgebraic completeness and automata (abstract) |
| 10.00-10.30 | Nick Bezhanishvili | Powerset possibilization and Vietoris possibilization (abstract) |
| 10.30-11.00 | Coffee break | |
| 11.00-11.30 | Zhiguang Zhao | Canonicity and Completeness for Possibility Semantics (abstract) |
| 11.30-12.30 | Filip Murlak (invited) | Static analysis over tree-structured data using graph decompositions (abstract) |
| 12.30-14.00 | Time for lunch | |
| 14.00-15.00 | Ekaterina Komendantskaya (invited) | Horn Clause logic: the knowns and the unknowns (abstract) |
| 15.00-15.30 | Giuseppe Greco | Modular proof theory for axiomatic extensions and expansions of lattice logic (abstract) |
| 15.30-16.00 | Coffee break | |
| 16.00-16.30 | Fei Liang | Multi-type display calculus for Semi-De Morgan Logic (abstract) |
| 16.30-17.30 | Frank Wolter (invited) | Dichotomies in Ontology-Mediated Querying with the Guarded Fragment (abstract) |
| 17.30-20.00 | Time for refreshment | |
| 20.00 | Workshop dinner | |
| 09.30-10.30 | Sam van Gool (invited) | Machines, Models, Monoids, and Modal logic (abstract) |
| 10.30-11.00 | Coffee break | |
| 11.00-11.30 | Almudena Colacito | Ordered Groups and Proof Theory (abstract) |
| 11.30-12.00 | Björn Lellmann | Analytic calculi for intermediate logics: A nested sequent approach (abstract) |