| 2024 | Logical Algorithmics: From Theory to Practice (Invited Talk). | Moshe Y. Vardi |
| 2024 | Guarded Hybrid Team Logics. | Marius Tritschler |
| 2024 | Towards Univalent Reference Types: The Impact of Univalence on Denotational Semantics. | Jonathan Sterling, Daniel Gratzer, Lars Birkedal |
| 2024 | Concurrent Stochastic Lossy Channel Games. | Daniel Stan, Muhammad Najib, Anthony Widjaja Lin, Parosh Aziz Abdulla |
| 2024 | A Generic Characterization of Generalized Unary Temporal Logic and Two-Variable First-Order Logic. | Thomas Place, Marc Zeitoun |
| 2024 | Conservativity of Type Theory over Higher-Order Arithmetic. | Danil Otten, Benno van den Berg |
| 2024 | Coherence by Normalization for Linear Multicategorical Structures. | Federico Olimpieri |
| 2024 | Local Operators in Topos Theory and Separation of Semi-Classical Axioms in Intuitionistic Arithmetic. | Satoshi Nakata |
| 2024 | Promise and Infinite-Domain Constraint Satisfaction. | Antoine Mottet |
| 2024 | What Monads Can and Cannot Do with a Bit of Extra Time. | Rasmus Ejlers Mgelberg, Maaike Zwart |
| 2024 | A First Order Theory of Diagram Chasing. | Assia Mahboubi, Matthieu Piquerez |
| 2024 | Confluence of Conditional Rewriting Modulo. | Salvador Lucas |
| 2024 | Limitations of Game Comonads for Invertible-Map Equivalence via Homomorphism Indistinguishability. | Moritz Lichter, Benedikt Pago, Tim Seppelt |
| 2024 | QLTL Model-Checking. | Franois Laroussinie, Loriane Leclercq, Arnaud Sangnier |
| 2024 | Strategy Synthesis for Partially Observable Stochastic Games with Neural Perception Mechanisms (Invited Talk). | Marta Kwiatkowska |
| 2024 | Energy Games over Totally Ordered Groups. | Alexander Kozachinskiy |
| 2024 | Remarks on Parikh-Recognizable Omega-languages. | Mario Grobler, Leif Sabellek, Sebastian Siebertz |
| 2024 | A Many-Sorted Epistemic Logic for Chromatic Hypergraphs. | ric Goubault, Roman Kniazev, Jrmy Ledent |
| 2024 | Artificial Intelligence and Artificial Ignorance (Invited Talk). | Georg Gottlob |
| 2024 | Realizability Models for Large Cardinals. | Laura Fontanella, Guillaume Geoffroy, Richard Matthews |
| 2024 | Going Deep and Going Wide: Counting Logic and Homomorphism Indistinguishability over Graphs of Bounded Treedepth and Treewidth. | Eva Fluck, Tim Seppelt, Gian Luca Spitzer |
| 2024 | Extensions and Limits of the Specker-Blatter Theorem. | Eldar Fischer, Johann A. Makowsky |
| 2024 | The Ackermann Award 2023. | Maribel Fernndez, Jean Goubault-Larrecq, Delia Kesner |
| 2024 | The Produoidal Algebra of Process Decomposition. | Matt Earnshaw, James Hefford, Mario Romn |
| 2024 | The Worst-Case Complexity of Symmetric Strategy Improvement. | Tom van Dijk, Georg Loho, Matthew T. Maat |