| 2025 | The Ackermann Award 2024. | Maribel Fernndez, Prakash Panangaden |
| 2025 | A Rewriting Theory for Quantum λ-Calculus. | Claudia Faggian, Gaetan Lopez, Benot Valiron |
| 2025 | Extension Preservation on Dense Graph Classes. | Ioannis Eleftheriadis |
| 2025 | Boundedness of Cost Register Automata over the Integer Min-Plus Semiring. | Andrei Draghici, Radoslaw Pirkowski, Andrew Ryzhikov |
| 2025 | Undefinability of Approximation of 2-To-2 Games. | Anuj Dawar, Blint Molnr |
| 2025 | On the Expansion of Monadic Second-Order Logic with Cantor-Bendixson Rank and Order Type Predicates. | Thomas Colcombet, Alexander Rabinovich |
| 2025 | A Complete Inference System for Probabilistic Infinite Trace Equivalence. | Corina Crstea, Lawrence S. Moss, Victoria Noquez, Todd Schmid, Alexandra Silva, Ana Sokolova |
| 2025 | On the Minimisation of Deterministic and History-Deterministic Generalised (Co)Bchi Automata. | Antonio Casares, Olivier Idir, Denis Kuperberg, Corto Mascle, Aditya Prakash |
| 2025 | On the Probabilistic and Statistical Verification of Infinite Markov Chains (Invited Talk). | Patricia Bouyer |
| 2025 | Strong Induction Is an Up-To Technique. | Filippo Bonchi, Elena Di Lavore, Anna Ricci |
| 2025 | On the VC Dimension of First-Order Logic with Counting and Weight Aggregation. | Steffen van Bergerem, Nicole Schweikardt |
| 2025 | The Parameterized Complexity of Learning Monadic Second-Order Logic. | Steffen van Bergerem, Martin Grohe, Nina Runde |
| 2025 | A Strictly Linear Subatomic Proof System. | Victoria Barrett, Alessio Guglielmi, Benjamin Ralph |
| 2025 | Quantum and Classical Markovian Graphical Causal Models and Their Identification. | Jonathan Barrett, Isaac Friend, Aleks Kissinger |
| 2025 | A Complete Diagrammatic Calculus for Automata Simulation. | Thibaut Antoine, Robin Piedeleu, Alexandra Silva, Fabio Zanasi |
| 2025 | Propositional Logics of Overwhelming Truth. | Thibaut Antoine, David Baelde |
| 2025 | Kleene Algebra with Commutativity Conditions Is Undecidable. | Arthur Azevedo de Amorim, Cheng Zhang, Marco Gaboardi |
| 2025 | Classical Linear Logic in Perfect Banach Lattices. | Pedro H. Azevedo de Amorim, Leon Witzman, Dexter Kozen |
| 2025 | Two-Way One-Counter Nets Revisited. | Shaull Almagor, Michal Cadilhac, Asaf Yeshurun |
| 2025 | The Complexity of Deciding Characteristic Formulae in Van Glabbeek's Branching-Time Spectrum. | Luca Aceto, Antonis Achilleos, Aggeliki Chalki, Anna Inglfsdttir |
| 2025 | Correspondences Between Codensity and Coupling-Based Liftings, a Practical Approach. | Samuel Humeau, Daniela Petrisan, Jurriaan Rot |
| 2025 | Synthetic Mathematics for the Mechanisation of Computability Theory and Logic (Invited Talk). | Yannick Forster |
| 2025 | A Kleene Algebra with Tests for Union Bound Reasoning About Probabilistic Programs. | Leandro Gomes, Patrick Baillot, Marco Gaboardi |
| 2025 | Finite Relational Semantics for Language Kleene Algebra with Complement. | Yoshiki Nakamura |
| 2024 | Front Matter, Table of Contents, Preface, Conference Organization. | |