| 2026 | Front Matter, Table of Contents, Preface, Conference Organization. | |
| 2026 | Deciding the Value of Two-Clock Almost Non-Zeno Weighted Timed Games. | Isa Vialard |
| 2026 | Lax Modal Lambda Calculi. | Nachiappan Valliappan |
| 2026 | Well-Founded Coalgebras Meet Kőnig's Lemma. | Henning Urbat, Thorsten Wimann |
| 2026 | Constructing Witnesses for Lower Bounds on Behavioural Distances. | Ruben Turkenburg, Harsh Beohar, Franck van Breugel, Clemens Kupke, Jurriaan Rot |
| 2026 | A Complete Diagrammatic Calculus for Conditional Gaussian Mixtures. | Mateo Torres-Ruiz, Robin Piedeleu, Alexandra Silva, Fabio Zanasi |
| 2026 | Automata and Algebras for Probability and Nondeterminism (Invited Talk). | Ana Sokolova |
| 2026 | A Uniform Cut-Elimination Theorem for Linear Logics with Fixed Points and Super Exponentials. | Alexis Saurin, Esae Bauer |
| 2026 | String Diagrams for Closed Symmetric Monoidal Categories. | Callum Reader, Alessandro Di Giorgio |
| 2026 | Boolean Basis and Succinctness of Modal Logic via Hella-Vilander Games. | Sebastian Pfau |
| 2026 | On the Entailment Problem in Dynamic Separation Logic with Inductive Definitions. | Nicolas Peltier |
| 2026 | Towards the Type Safety of Pure Subtype Systems. | Valentin Pasquale, lvaro Garca-Prez |
| 2026 | The Biequivalence of Path Categories and Axiomatic Martin-Lf Type Theories. | Danil Otten, Matteo Spadetto |
| 2026 | Classifying Covering Types in Homotopy Type Theory. | Samuel Mimram, mile Oleon |
| 2026 | Bridging Weighted First Order Model Counting and Graph Polynomials. | Qipeng Kuang, Ondrej Kuzelka, Yuanhong Wang, Yuyi Wang |
| 2026 | The Logic Behind Colour Refinement (Invited Talk). | Sandra Kiefer |
| 2026 | On Left Adjoints Preserving Colimits in HoTT. | Perry Hart |
| 2026 | Satisfiability in Łukasiewicz Logic and Its Unbounded Relative. | Zuzana Hanikov, Filip Jankovec |
| 2026 | Reasoning About Quality in Hyperproperties. | Samuel Graepler, Benjamin Monmege, Jean-Marc Talbot |
| 2026 | Weakly-Sparse and Strongly Flip-Flat Classes of Graphs Are Uniformly Almost-Wide. | Fatemeh Ghasemi, Julien Grange, Mamadou Moustapha Kant, Florent R. Madelaine |
| 2026 | A Canonical Form for Universe Levels in Impredicative Type Theory. | Yoan Gran |
| 2026 | Interpreting Lambda Calculus in Domain-Valued Random Variables. | Robert Furber, Radu Mardare, Prakash Panangaden, Dana S. Scott |
| 2026 | A Game for Counting Logic Formula Size and an Application to Linear Orders. | Gregoire Fournier, Gyrgy Turn |
| 2026 | The Ackermann Award 2025. | Maribel Fernndez, Prakash Panangaden |
| 2026 | A Unifying Conservation Theorem. | Giulio Fellin |