| 2026 | Memory Requirements in Non-Zero-Sum Games. | Yoav Feinstein, Orna Kupferman |
| 2026 | Resourceful Traces for Commuting Processes. | Matthew Earnshaw, Chad Nester, Mario Romn |
| 2026 | Reward Interfaces with Best-Effort Implementations. | Rafael Dewes, Rayna Dimitrova |
| 2026 | ε-Distance via Lvy-Prokhorov Lifting. | Jose Desharnais, Ana Sokolova |
| 2026 | Robustness of Constraint Automata for Description Logics with Concrete Domains. | Stphane Demri, Tianwen Gu |
| 2026 | Arity Hierarchies for Quantifiers Closed Under Partial Polymorphisms. | Anuj Dawar, Lauri Hella, Benedikt Pago |
| 2026 | Register-Bounded Synthesis from Constraint LTL. | Nino Dauvier, Emmanuel Filiot, Pierre-Alain Reynier |
| 2026 | Cyclic Proof Theory of Generalised Inductive Definitions. | Gianluca Curzi, Lukas Melgaard |
| 2026 | Kamp Theorem for Pomset Languages of Higher Dimensional Automata. | Emily Clement, Enzo Erlich, Jrmy Ledent |
| 2026 | Towards A Rosetta Stone of Interactive and Quantitative Semantics (Invited Talk). | Pierre Clairambault |
| 2026 | Compactness in Semiring Semantics. | Sophie Brinke, Anuj Dawar, Erich Grdel, Lovro Mrkonjic, Matthias Naaf |
| 2026 | Hereditary First-Order Logic: the Tractable Quantifier Prefix Classes. | Manuel Bodirsky, Santiago Guzmn-Pro |
| 2026 | A Modular Framework for Proof-Search via Formalised Modal Completeness in HOL Light. | Antonella Bilotta, Marco Maggesi, Cosimo Perini Brogi |
| 2026 | Analysis of Logics with Arithmetic. | Michael Benedikt, Chia-Hsuan Lu, Tony Tan |
| 2026 | Useful Call-by-Value: A Semantic Interpretation via Quantitative Types. | Pablo Barenbaum, Delia Kesner, Mariana Milicich |
| 2026 | On the Algorithmic Structure of Dialectica Realisers. | Davide Barbarossa, Thomas Powell |
| 2026 | A Logic for Fresh Labelled Transition Systems. | Mohamed H. Bandukara, Nikos Tzevelekos |
| 2026 | Rational Lawvere Logic (Invited Paper). | Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin |
| 2026 | Mean-Payoff and Energy Discrete-Bidding Games. | Guy Avni, Suman Sadhukhan |
| 2026 | Parametric Disjunctive Timed Networks. | tienne Andr, Swen Jacobs, Engel Lefaucheux |
| 2026 | The Groupoid-Syntax of Type Theory Is a Set. | Thorsten Altenkirch, Ambrus Kaposi, Szumi Xie |
| 2026 | Parametric Iteration in Resource Theories. | Alessandro Di Giorgio, Pawel Sobocinski, Niels F. W. Voorneveld |
| 2026 | Disjunctions of Two Dependence Atoms. | Nicolas Frhlich, Phokion G. Kolaitis, Arne Meier |
| 2026 | Minimal DFAs Witnessing Language Inequivalence. | Jan Martens |
| 2025 | Front Matter, Table of Contents, Preface, Conference Organization. | |