| 2023 | The Functional Machine Calculus II: Semantics. | Chris Barrett, Willem Heijltjes, Guy McCusker |
| 2023 | Proofs and Refutations for Intuitionistic and Second-Order Logic. | Pablo Barenbaum, Teodoro Freund |
| 2023 | Reductions in Higher-Order Rewriting and Their Equivalence. | Pablo Barenbaum, Eduardo Bonelli |
| 2023 | A Lattice-Theoretical View of Strategy Iteration. | Paolo Baldan, Richard Eggert, Barbara Knig, Tommaso Padoan |
| 2023 | Functorial String Diagrams for Reverse-Mode Automatic Differentiation. | Mario Alvarez-Picallo, Dan R. Ghica, David Sprunger, Fabio Zanasi |
| 2023 | A Cyclic Proof System for Full Computation Tree Logic. | Bahareh Afshari, Graham E. Leigh, Guillermo Menndez Turata |
| 2023 | Constructive and Synthetic Reducibility Degrees: Post's Problem for Many-One and Truth-Table Reducibility in Coq. | Yannick Forster, Felix Jahn |
| 2023 | String Diagrams for Non-Strict Monoidal Categories. | Paul W. Wilson, Dan R. Ghica, Fabio Zanasi |
| 2023 | Evaluation Trade-Offs for Acyclic Conjunctive Queries. | Ahmet Kara, Milos Nikolic, Dan Olteanu, Haozhe Zhang |
| 2023 | A Positive Perspective on Term Representation (Invited Talk). | Dale Miller, Jui-Hsuan Wu |
| 2023 | Counting and Matching. | Bart Jacobs, Dario Stein |
| 2023 | Realizing Continuity Using Stateful Computations. | Liron Cohen, Vincent Rahli |
| 2022 | Anti-Unification of Unordered Goals. | Gonzague Yernaux, Wim Vanhoof |
| 2022 | Front Matter, Table of Contents, Preface, Conference Organization. | |
| 2022 | Number of Variables for Graph Differentiation and the Resolution of GI Formulas. | Jacobo Torn, Florian Wrz |
| 2022 | Planar Realizability via Left and Right Applications. | Haruka Tomita |
| 2022 | First-Order Logic with Connectivity Operators. | Nicole Schirrmacher, Sebastian Siebertz, Alexandre Vigny |
| 2022 | BV and Pomset Logic Are Not the Same. | L Thnh Dung Nguyn, Lutz Straburger |
| 2022 | Structural Properties of the First-Order Transduction Quasiorder. | Jaroslav Nesetril, Patrice Ossona de Mendez, Sebastian Siebertz |
| 2022 | Parallelism in Soft Linear Logic. | Paulin Jacob de Naurois |
| 2022 | Simulation by Rounds of Letter-To-Letter Transducers. | Antonio Abu Nassar, Shaull Almagor |
| 2022 | Succinct Graph Representations of μ-Calculus Formulas. | Clemens Kupke, Johannes Marti, Yde Venema |
| 2022 | Generalized Universe Hierarchies and First-Class Universe Levels. | Andrs Kovcs |
| 2022 | Encoding Tight Typing in a Unified Framework. | Delia Kesner, Andrs Viso |
| 2022 | Games, Mobile Processes, and Functions. | Guilhem Jaber, Davide Sangiorgi |