| 2021 | Front Matter, Table of Contents, Preface, Conference Organization. | |
| 2021 | Borel Sets in Reverse Mathematics (Invited Talk). | Linda Westrick |
| 2021 | Realizability Without Symmetry. | Haruka Tomita |
| 2021 | On Flat Lossy Channel Machines. | Philippe Schnoebelen |
| 2021 | Branching in Well-Structured Transition Systems (Invited Talk). | Sylvain Schmitz |
| 2021 | Degrees of Ambiguity for Parity Tree Automata. | Alexander Rabinovich, Doron Tiferet |
| 2021 | The Yoneda Reduction of Polymorphic Types. | Paolo Pistone, Luca Tranchini |
| 2021 | Typable Fragments of Polynomial Automatic Amortized Resource Analysis. | Long Pham, Jan Hoffmann |
| 2021 | Choiceless Computation and Symmetry: Limitations of Definability. | Benedikt Pago |
| 2021 | Mathematical Structures in Dependent Type Theory (Invited Talk). | Assia Mahboubi |
| 2021 | Preservation Theorems Through the Lens of Topology. | Aliaume Lopez |
| 2021 | Canonization for Bounded and Dihedral Color Classes in Choiceless Polynomial Time. | Moritz Lichter, Pascal Schweitzer |
| 2021 | Compositional Modelling of Network Games. | Elena Di Lavore, Jules Hedges, Pawel Sobocinski |
| 2021 | A Cyclic Proof System for HFL_ℕ. | Mayuko Kori, Takeshi Tsukada, Naoki Kobayashi |
| 2021 | μ-Calculi with Atoms (Invited Talk). | Bartek Klin |
| 2021 | Domain Theory in Constructive and Predicative Univalent Foundations. | Tom de Jong, Martn Htzel Escard |
| 2021 | On the Complexity of Horn and Krom Fragments of Second-Order Boolean Logic. | Miika Hannula, Juha Kontinen, Martin Lck, Jonni Virtema |
| 2021 | Categorifying Non-Idempotent Intersection Types. | Giulio Guerrieri, Federico Olimpieri |
| 2021 | A Deep Quantitative Type System. | Giulio Guerrieri, Willem B. Heijltjes, Joseph W. N. Paulus |
| 2021 | The Alternating-Time μ-Calculus with Disjunctive Explicit Strategies. | Merlin Gttlinger, Lutz Schrder, Dirk Pattinson |
| 2021 | A Partial Metric Semantics of Higher-Order Types and Approximate Program Transformations. | Guillaume Geoffroy, Paolo Pistone |
| 2021 | Computing Measure as a Primitive Operation in Real Number Computation. | Christine Ganer, Arno Pauly, Florian Steinberg |
| 2021 | Decidable Entailments in Separation Logic with Inductive Definitions: Beyond Establishment. | Mnacho Echenim, Radu Iosif, Nicolas Peltier |
| 2021 | Realizability with Stateful Computations for Nonstandard Analysis. | Bruno Dinis, tienne Miquey |
| 2021 | Extension Preservation in the Finite and Prefix Classes of First Order Logic. | Anuj Dawar, Abhisekh Sankaran |