| Symposium | Topics | Venue and dates | Committees | Contact |
| Hotels | Scientific programme | Social programme | Contributed talks | Registration |
| Ove Ahlman | Countably categorical almost sure theories | [slides] |
| Phridoni Alshibaia | On Algebraic Analysis of Temporal Heyting Calculus | |
| Neil Barton | Richness and Reflection | |
| Frode Bjørdal | Deontic Logic without Perfect Possible Worlds | |
| Denis Bonnay and Dag Westerstahl | Compositionality solves Carnap's Problem | |
| Mustafa Demirci | Stone and Priestley Dualities as Applications of Fundamental Categorical Duality Theorem | |
| Gilles Dowek | Models and termination of proof-reduction in the lambda-Pi-calculus modulo theory | [slides] |
| Patrik Eklund and Jari Kortelainen | Logic is Lative | |
| Christian Espindola and Henrik Forssell | Constructive completeness and exploding models | |
| Henrik Forssell | Type theoretical databases | |
| Giuseppe Greco | Display-style sequent calculi | Cancelled |
| Håkon Gylterud | Univalent Multisets | |
| Jevgeni Haigora | Logics extended with embedding-closed quantifiers | [slides] |
| Brice Halimi | Homotopy Model Theory | Cancelled |
| Miika Hannula | Hierarchies in inclusion logic | [slides] |
| Jens Ulrik Hansen | A Dynamic Social Network Logic | |
| Mirja Hartimo | Husserl and Hilbert's New Foundations | |
| Åsa Hirvonen | Finding independence notions in metric structures | [slides] |
| Tuomo Kauranne | An isomorphim invariant definition of time-limited deterministic Turing computations | |
| Vera Koponen | Simple homogeneous structures | [slides] |
| Risto Koskensilta | Against logic of vagueness | |
| Antti Kuusisto | Some Turing-Complete Extensions of First-Order Logic | [slides] |
| Peter Lefanu Lumsdaine | Theorems of dependent type theory, in generality | |
| Ramaz Liparteliani | Unification in finite MV-algebras with constants | |
| Sergey Melikhov | A joint logic of problems and propositions, a modified BHK-interpretation and proof-relevant topological models of intuitionistic logic | [slides] |
| Mohammadreza Mousavi | Epistemic Reasoning about Operational Lies | |
| Jari Palomäki | Relational Concepts: An Axiomatic Approach | |
| Gianluca Paolini | Independence Logic and Atomless Boolean Algebras | |
| Jirí Raclavský | Notes on beta-reduction within Tichý's ramified partial type theory | |
| Raine Rönnholm | The Expressive Power of Unary Inclusion and Exclusion Atoms | [slides] |
| Annika Siders | Stenius' consistency proof and cut elimination for omega-arithmetic | |
| Sergei Tupailo | Abstract constructive ordinals and ordinal notations | |
| Esko Turunen | From Fuzzy Sets to Mathematical Logic | [slides] |
| Jonni Virtema | The Expressive Power of Extended Modal Dependence Logic | [slides] |
| Susumu Yamasaki | Algebraic Structure in Logic of Action | |
| Fan Yang | Uniform Definability in the Setting of Team Semantics | Cancelled |