| 2026 | Front Matter, Table of Contents, Preface, Conference Organization. | |
| 2026 | Stabilized Profunctors and Matrix Representation. | Takeshi Tsukada, Kazuyuki Asada, Kengo Hirata |
| 2026 | Investigations on Higher-Order Infinitary Logic. | Thomas Traversi, Olivier Hermant, Marc Aiguier |
| 2026 | New and Formalized Proofs for Right-Forward Closures and Core Matrix Interpretations. | Ren Thiemann, Dieter Hofbauer, Ulysse Le Huitouze, Johannes Waldmann |
| 2026 | Type Theory with Erasure. | Constantine Theocharis, Edwin C. Brady |
| 2026 | On the Consistency of Naive Set Theories over Substructural and Fuzzy Logics. | Kazushige Terui |
| 2026 | Absolute Convergence and Taylor Expansion in Web Based Models of Linear Logic. | Christine Tasson, Aymeric Walch |
| 2026 | A Complete Finitary Refinement Type System for Scott-Open Properties. | Colin Riba, Adam Donadille |
| 2026 | Polymorphism Meets DHOL. | Rhea Ranalter, Florian Rabe, Cezary Kaliszyk |
| 2026 | Divide and Check: Logical Relations, No Algorithms Attached. | Josselin Poiret, Kenji Maillard, Nicolas Tabareau |
| 2026 | The Equational Theory of Relational Kleene Algebra with Graph Loop is PSPACE-Complete. | Yoshiki Nakamura |
| 2026 | Treating Congruences as Equalities Within Proofs. | Dale Miller |
| 2026 | Universal Properties of Petri Net Unfoldings. | Serge Lechenne, Hugo Paquet |
| 2026 | Non-Wellfounded Derivations for Intersection Subtyping with Fixpoints. | Olivier Laurent, Jui-Hsuan Wu |
| 2026 | Constructing (Co)inductive Types via Large Sizes. | Bastiaan Laarakker, Danil Otten, Benno van den Berg |
| 2026 | Relational Dualities and Bisimulation. | Piotr Kozicki, G. A. Kavvos |
| 2026 | Saturation-Guided Inductive Synthesis (Invited Talk). | Laura Kovcs |
| 2026 | Abstract Framework for All-Path Reachability Analysis toward Safety and Liveness Verification. | Misaki Kojima, Naoki Nishida |
| 2026 | Ground Stratified Inductive Definitions. | Nathan Guermond, Gopalan Nadathur |
| 2026 | Quantum Bayesian Networks: Compositionality and Typing via Linear Logic. | Rmi Di Guardia, Thomas Ehrhard, Claudia Faggian |
| 2026 | A Bounded Parallel Intersection Type System. | Andrej Dudenhefner, Aleksy Schubert, Jakob Rehof |
| 2026 | Undecidability for Semirings with Fixed Points. | Anupam Das, Abhishek De, Stepan L. Kuznetsov |
| 2026 | How Term Rewriting Structures Shape the Decidability of Knowledge Problems. | Raja O. P. Damanik, Alwen Tiu |
| 2026 | Evidence-Tracked Tape Semantics for Probabilistic Computation. | Liron Cohen, Tomer Samara |
| 2026 | Resource-Aware Quantum Programming with General Recursion and Quantum Control. | Kostia Chardonnet, Emmanuel Hainry, Romain Pchoux, Thomas Vinet |