| 2026 | Forgetting Event Order in Higher-Dimensional Automata. | Safa Zouari |
| 2026 | Contextual MetaML: Syntax and Full Abstraction. | Haoxuan Yin, Andrzej S. Murawski, C.-H. Luke Ong |
| 2026 | The Finite Length Property of the Rado Graph and Friends. | Jingjie Yang, Mikolaj Bojanczyk, Bartek Klin |
| 2026 | Front Matter, Table of Contents, Preface, Conference Organization. | |
| 2026 | Axiomatizability of Alexandrov Dynamic Topological Logic. | Niels C. Vooijs, David Fernndez-Duque |
| 2026 | Model Checking for Low Monodimensionality Fragments of CMSO on Topological-Minor-Free Graph Classes. | Ignasi Sau, Nicole Schirrmacher, Sebastian Siebertz, Giannos Stamoulis, Dimitrios M. Thilikos, Alexandre Vigny |
| 2026 | Wiring the π-Calculus to Denotational Semantics. | Ken Sakayori, Davide Sangiorgi, Simon Castellan, Pierre Clairambault |
| 2026 | Randomness Extraction Fails for Finite-State Dimension. | Subin Pulari, Akhil S |
| 2026 | Problems with Fixpoints of Polynomials of Polynomials. | Ccilia Pradic, Ian Price |
| 2026 | Fixed-Parameter Tractable Inference for Discrete Probabilistic Programs, via String Diagram Algebraisation. | Benedikt Peterseim, Milan Lopuha-Zwakenberg |
| 2026 | Distinguishing Graphs by Counting Homomorphisms from Sparse Graphs. | Daniel Neuen, Tim Seppelt |
| 2026 | From Co-Coverages to Radicals in Complete Lattices. | Daniel Misselbeck-Wessel |
| 2026 | A Cartesian Closed Fibration of Higher-Order Regular Languages. | Paul-Andr Mellis, Vincent Moreau |
| 2026 | Verifying Exact Samplers for Continuous Distributions with a Discrete Program Logic. | Markus de Medeiros, Puming Liu, Kwing Hei Li, Alejandro Aguirre, Lars Birkedal, Joseph Tassarotti |
| 2026 | Differential Tree Automata. | Rida Ait El Manssour, Vincent Cheval, Mahsa Shirmohammadi, James Worrell |
| 2026 | The Complexity of Downward Closures of Indexed Languages. | Richard Mandel, Corto Mascle, Georg Zetzsche |
| 2026 | Mixing Any Cocktail with Limited Ingredients: On the Structure of Payoff Sets in Multi-Objective POMDPs and Its Impact on Randomised Strategies. | James C. A. Main, Mickael Randour |
| 2026 | Existential Positive Transductions of Sparse Graphs. | Nikolas Mhlmann, Sebastian Siebertz |
| 2026 | Cellular Methods in Homotopy Type Theory. | Axel Ljungstrm, Loc Pujet |
| 2026 | A Unified Treatment of the Substitution Tensor for Presheaves, Nominal Sets, Renaming Sets, and so on. | Fabian Lenke, Stefan Milius, Henning Urbat |
| 2026 | Checking History Determinism for Parity Automata Is in NP. | Karoliina Lehtinen, Keya Prakash, Michal Skrzypczak |
| 2026 | Oracles Just for Fan: A Robust Computational Interpretation of the Fan Theorem. | Titouan Leclercq, tienne Miquey |
| 2026 | The Logic of Intersection Subtyping. | Olivier Laurent |
| 2026 | On Higher-Order Probabilistic Verification via the Weighted Relational Model of Linear Logic. | Ugo Dal Lago, Guido Fiorillo, Paolo Pistone |
| 2026 | Complexity Classes Arising from Circuits over Finite Algebraic Structures. | Piotr Kawalek, Jacek Krzaczkowski |