| 2024 | Commutation Groups and State-Independent Contextuality. | Samson Abramsky, Serban-Ion Cercelescu, Carmen Maria Constantin |
| 2024 | Lean: Past, Present, and Future (Invited Talk). | Sebastian Ullrich |
| 2024 | Adjoint Natural Deduction. | Junyoung Jang, Sophia Roshal, Frank Pfenning, Brigitte Pientka |
| 2024 | Equational Theories and Validity for Logically Constrained Term Rewriting. | Takahito Aoto, Naoki Nishida, Jonas Schpf |
| 2023 | Front Matter, Table of Contents, Preface, Conference Organization. | |
| 2023 | The Formal Theory of Monads, Univalently. | Niels van der Weide |
| 2023 | Homotopy Type Theory as Internal Languages of Diagrams of ∞-Logoses. | Taichi Uemura |
| 2023 | Knowledge Problems in Security Protocols: Going Beyond Subterm Convergent Theories. | Saraid Dwyer Satterfield, Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen |
| 2023 | The Logical Essence of Compiling with Continuations. | Jos Esprito Santo, Filipa Mendes |
| 2023 | A Quantitative Version of Simple Types. | Daniele Pautasso, Simona Ronchi Della Rocca |
| 2023 | Categorical Coherence from Term Rewriting Systems. | Samuel Mimram |
| 2023 | A Lambda Calculus Satellite (Invited Talk). | Giulio Manzonetto |
| 2023 | Automata-Based Verification of Relational Properties of Functions over Algebraic Data Structures. | Tho Losekoot, Thomas Genet, Thomas P. Jensen |
| 2023 | Dinaturality Meets Genericity: A Game Semantics of Bounded Polymorphism. | James Laird |
| 2023 | On the Lattice of Program Metrics. | Ugo Dal Lago, Naohiko Hoshino, Paolo Pistone |
| 2023 | E-Unification for Second-Order Abstract Syntax. | Nikolai Kudasov |
| 2023 | Cost-Size Semantics for Call-By-Value Higher-Order Rewriting. | Cynthia Kop, Deivid Vale |
| 2023 | How Can We Make Trustworthy AI? (Invited Talk). | Mateja Jamnik |
| 2023 | Generalized Newman's Lemma for Discrete and Continuous Systems. | Ievgen Ivanov |
| 2023 | Hydra Battles and AC Termination. | Nao Hirokawa, Aart Middeldorp |
| 2023 | Type Isomorphisms for Multiplicative-Additive Linear Logic. | Rmi Di Guardia, Olivier Laurent |
| 2023 | Rewriting Modulo Traced Comonoid Structure. | Dan R. Ghica, George Kaye |
| 2023 | Labelled Tableaux for Linear Time Bunched Implication Logic. | Didier Galmiche, Daniel Mry |
| 2023 | α-Avoidance. | Samuel Frontull, Georg Moser, Vincent van Oostrom |
| 2023 | Nominal Techniques for Software Specification and Verification (Invited Talk). | Maribel Fernndez |