| 2021 | 29th EACSL Annual Conference on Computer Science Logic, CSL 2021, Ljubljana, Slovenia (Virtual Conference), January 25-28, 2021 Christel Baier, Jean Goubault-Larrecq |
| 2021 | A Cyclic Proof System for HFL_ℕ. Mayuko Kori, Takeshi Tsukada, Naoki Kobayashi |
| 2021 | A Deep Quantitative Type System. Giulio Guerrieri, Willem B. Heijltjes, Joseph W. N. Paulus |
| 2021 | A Partial Metric Semantics of Higher-Order Types and Approximate Program Transformations. Guillaume Geoffroy, Paolo Pistone |
| 2021 | A Quasi-Polynomial Black-Box Algorithm for Fixed Point Evaluation. André Arnold, Damian Niwinski, Pawel Parys |
| 2021 | Are Two Binary Operators Necessary to Finitely Axiomatise Parallel Composition? Luca Aceto, Valentina Castiglioni, Wan J. Fokkink, Anna Ingólfsdóttir, Bas Luttik |
| 2021 | Borel Sets in Reverse Mathematics (Invited Talk). Linda Westrick |
| 2021 | Branching in Well-Structured Transition Systems (Invited Talk). Sylvain Schmitz |
| 2021 | Canonization for Bounded and Dihedral Color Classes in Choiceless Polynomial Time. Moritz Lichter, Pascal Schweitzer |
| 2021 | Categorifying Non-Idempotent Intersection Types. Giulio Guerrieri, Federico Olimpieri |
| 2021 | Choiceless Computation and Symmetry: Limitations of Definability. Benedikt Pago |
| 2021 | Church's Thesis and Related Axioms in Coq's Type Theory. Yannick Forster |
| 2021 | Compositional Modelling of Network Games. Elena Di Lavore, Jules Hedges, Pawel Sobocinski |
| 2021 | Computing Measure as a Primitive Operation in Real Number Computation. Christine Gaßner, Arno Pauly, Florian Steinberg |
| 2021 | Decidable Entailments in Separation Logic with Inductive Definitions: Beyond Establishment. Mnacho Echenim, Radu Iosif, Nicolas Peltier |
| 2021 | Degrees of Ambiguity for Parity Tree Automata. Alexander Rabinovich, Doron Tiferet |
| 2021 | Discounted-Sum Automata with Multiple Discount Factors. Udi Boker, Guy Hefetz |
| 2021 | Domain Theory in Constructive and Predicative Univalent Foundations. Tom de Jong, Martín Hötzel Escardó |
| 2021 | Extension Preservation in the Finite and Prefix Classes of First Order Logic. Anuj Dawar, Abhisekh Sankaran |
| 2021 | Factorize Factorization. Beniamino Accattoli, Claudia Faggian, Giulio Guerrieri |
| 2021 | Front Matter, Table of Contents, Preface, Conference Organization. |
| 2021 | Game Comonads & Generalised Quantifiers. Adam Ó Conghaile, Anuj Dawar |
| 2021 | Learning Automata and Transducers: A Categorical Approach. Thomas Colcombet, Daniela Petrisan, Riccardo Stabile |
| 2021 | Learning Concepts Described By Weight Aggregation Logic. Steffen van Bergerem, Nicole Schweikardt |
| 2021 | Mathematical Structures in Dependent Type Theory (Invited Talk). Assia Mahboubi |
| 2021 | On Flat Lossy Channel Machines. Philippe Schnoebelen |
| 2021 | On the Complexity of Horn and Krom Fragments of Second-Order Boolean Logic. Miika Hannula, Juha Kontinen, Martin Lück, Jonni Virtema |
| 2021 | Open Bar - a Brouwerian Intuitionistic Logic with a Pinch of Excluded Middle. Mark Bickford, Liron Cohen, Robert L. Constable, Vincent Rahli |
| 2021 | Pregrammars and Intersection Types. Sabine Broda |
| 2021 | Preservation Theorems Through the Lens of Topology. Aliaume Lopez |
| 2021 | Reachability in Distributed Memory Automata. Benedikt Bollig, Fedor Ryabinin, Arnaud Sangnier |
| 2021 | Realizability Without Symmetry. Haruka Tomita |
| 2021 | Realizability with Stateful Computations for Nonstandard Analysis. Bruno Dinis, Étienne Miquey |
| 2021 | Semiring Provenance for Fixed-Point Logic. Katrin M. Dannert, Erich Grädel, Matthias Naaf, Val Tannen |
| 2021 | The Alternating-Time μ-Calculus with Disjunctive Explicit Strategies. Merlin Göttlinger, Lutz Schröder, Dirk Pattinson |
| 2021 | The Best a Monitor Can Do. Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen |
| 2021 | The Logic of Contextuality. Samson Abramsky, Rui Soares Barbosa |
| 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 | μ-Calculi with Atoms (Invited Talk). Bartek Klin |