| 2021 | Semiring Provenance for Fixed-Point Logic. | Katrin M. Dannert, Erich Grdel, Matthias Naaf, Val Tannen |
| 2021 | Game Comonads & Generalised Quantifiers. | Adam Conghaile, Anuj Dawar |
| 2021 | Learning Automata and Transducers: A Categorical Approach. | Thomas Colcombet, Daniela Petrisan, Riccardo Stabile |
| 2021 | Pregrammars and Intersection Types. | Sabine Broda |
| 2021 | Reachability in Distributed Memory Automata. | Benedikt Bollig, Fedor Ryabinin, Arnaud Sangnier |
| 2021 | Discounted-Sum Automata with Multiple Discount Factors. | Udi Boker, Guy Hefetz |
| 2021 | Open Bar - a Brouwerian Intuitionistic Logic with a Pinch of Excluded Middle. | Mark Bickford, Liron Cohen, Robert L. Constable, Vincent Rahli |
| 2021 | Learning Concepts Described By Weight Aggregation Logic. | Steffen van Bergerem, Nicole Schweikardt |
| 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 Inglfsdttir, Bas Luttik |
| 2021 | The Best a Monitor Can Do. | Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Inglfsdttir, Karoliina Lehtinen |
| 2021 | Factorize Factorization. | Beniamino Accattoli, Claudia Faggian, Giulio Guerrieri |
| 2021 | The Logic of Contextuality. | Samson Abramsky, Rui Soares Barbosa |
| 2021 | Church's Thesis and Related Axioms in Coq's Type Theory. | Yannick Forster |
| 2020 | Front Matter, Table of Contents, Preface, Conference Organization. | |
| 2020 | Dynamic Complexity of Parity Exists Queries. | Nils Vortmeier, Thomas Zeume |
| 2020 | From Classical Proof Theory to P versus NP: a Guide to Bounded Theories (Invited Talk). | Iddo Tzameret |
| 2020 | Dynamic Complexity Meets Parameterised Algorithms. | Jonas Schmidt, Thomas Schwentick, Nils Vortmeier, Thomas Zeume, Ioannis Kokkinis |
| 2020 | The Call-By-Value Lambda-Calculus with Generalized Applications. | Jos Esprito Santo |
| 2020 | Computing Haar Measures. | Arno Pauly, Dongseong Seon, Martin Ziegler |
| 2020 | De Jongh's Theorem for Intuitionistic Zermelo-Fraenkel Set Theory. | Robert Pamann |
| 2020 | Parity Games: Another View on Lehtinen's Algorithm. | Pawel Parys |
| 2020 | Separation and Renaming in Nominal Sets. | Joshua Moerman, Jurriaan Rot |
| 2020 | Revisiting the Duality of Computation: An Algebraic Analysis of Classical Realizability Models. | tienne Miquey |
| 2020 | The Keys to Decidable HyperLTL Satisfiability: Small Models or Very Simple Formulas. | Corto Mascle, Martin Zimmermann |