| 2026 | Approximation Theory for Distant Bang Calculus. | Kostia Chardonnet, Jules Chouquet, Axel Kerinec |
| 2026 | Equational Reasoning in Languages with Binders via Permutation Fixed-Points. | Ali K. Caires-Santos, Maribel Fernndez, Murdoch James Gabbay, Daniele Nantes-Sobrinho |
| 2026 | Groups and Inverse Semigroups in Lambda Calculus. | Antonio Bucciarelli, Arturo De Faveri, Giulio Manzonetto, Antonino Salibra |
| 2026 | Graphical Symplectic Algebra. | Robert I. Booth, Titouan Carette, Cole Comfort |
| 2026 | Denotational Semantics for Stabiliser Quantum Programs. | Robert I. Booth, Cole Comfort |
| 2026 | Simpler Presentations for Many Fragments of Quantum Circuits. | Colin Blake |
| 2026 | Not Choosing Is Still a Choice: Constructive mathematics without any choice. | Martin Baillon, Yannick Forster, Dominik Kirst, Assia Mahboubi, Pierre-Marie Pdrot |
| 2026 | Strong Normalisation for Asynchronous Effects. | Danel Ahman, Ilja Sobolev |
| 2026 | Sheaves as Oracle Computations (Invited Talk). | Danel Ahman, Andrej Bauer |
| 2026 | Proof Identity and Categorical Models of BV. | Matteo Acclavio, Lutz Straburger, Vladimir Zamdzhiev |
| 2025 | Front Matter, Table of Contents, Preface, Conference Organization. | |
| 2025 | Monad Translations for Higher-Order Logic. | Thomas Traversi |
| 2025 | Solving Guarded Domain Equations in Presheaves over Ordinals and Mechanizing It. | Sergei Stepanenko, Amin Timany |
| 2025 | Interpolation as Cut-Introduction: On the Computational Content of Craig-Lyndon Interpolation. | Alexis Saurin |
| 2025 | Higher-Dimensional Automata: Extension to Infinite Tracks. | Luc Passemard, Amazigh Amrane, Uli Fahrenberg |
| 2025 | Coherent Tietze Transformations of 1-Polygraphs in Homotopy Type Theory. | Samuel Mimram, mile Oleon |
| 2025 | Grading Call-By-Push-Value, Explicitly and Implicitly. | Dylan McDermott |
| 2025 | What Does It Take to Certify a Conversion Checker? | Meven Lennon-Bertrand |
| 2025 | On the Metric Nature of (Differential) Logical Relations. | Ugo Dal Lago, Naohiko Hoshino, Paolo Pistone |
| 2025 | Functorial Models of Differential Linear Logic. | Marie Kerjean, Valentin Maestracci, Morgan Rogers |
| 2025 | Completeness of the Decreasing Diagrams Method for Proving Confluence of Rewriting Systems of the Least Uncountable Cardinality. | Ievgen Ivanov |
| 2025 | Quantitative Types for the Functional Machine Calculus. | Willem Heijltjes |
| 2025 | ∞-Categorical Models of Linear Logic. | Elis Harington, Samuel Mimram |
| 2025 | Branch Sequentialization in Quantum Polytime. | Emmanuel Hainry, Romain Pchoux, Mrio Silva |
| 2025 | An Expressive Trace Logic for Recursive Programs. | Dilian Gurov, Reiner Hhnle |