| 2020 | 28th EACSL Annual Conference on Computer Science Logic, CSL 2020, Barcelona, Spain, January 13-16, 2020 Maribel Fernández, Anca Muscholl |
| 2020 | A Complete Axiomatisation of a Fragment of Language Algebra. Paul Brunet |
| 2020 | A Robust Class of Linear Recurrence Sequences. Corentin Barloy, Nathanaël Fijalkow, Nathan Lhote, Filip Mazowiecki |
| 2020 | Automatic Equivalence Structures of Polynomial Growth. Moses Ganardi, Bakhadyr Khoussainov |
| 2020 | Computing Haar Measures. Arno Pauly, Dongseong Seon, Martin Ziegler |
| 2020 | Coverage and Vacuity in Network Formation Games. Gili Bielous, Orna Kupferman |
| 2020 | De Jongh's Theorem for Intuitionistic Zermelo-Fraenkel Set Theory. Robert Paßmann |
| 2020 | Dynamic Complexity Meets Parameterised Algorithms. Jonas Schmidt, Thomas Schwentick, Nils Vortmeier, Thomas Zeume, Ioannis Kokkinis |
| 2020 | Dynamic Complexity of Parity Exists Queries. Nils Vortmeier, Thomas Zeume |
| 2020 | Expressive Logics for Coinductive Predicates. Clemens Kupke, Jurriaan Rot |
| 2020 | FO-Definability of Shrub-Depth. Yijia Chen, Jörg Flum |
| 2020 | From Classical Proof Theory to P versus NP: a Guide to Bounded Theories (Invited Talk). Iddo Tzameret |
| 2020 | Front Matter, Table of Contents, Preface, Conference Organization. |
| 2020 | Generalized Connectives for Multiplicative Linear Logic. Matteo Acclavio, Roberto Maieli |
| 2020 | Glueability of Resource Proof-Structures: Inverting the Taylor Expansion. Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco |
| 2020 | Guarded Teams: The Horizontally Guarded Case. Erich Grädel, Martin Otto |
| 2020 | Internal Calculi for Separation Logics. Stéphane Demri, Étienne Lozes, Alessio Mansutti |
| 2020 | Internal Parametricity for Cubical Type Theory. Evan Cavallo, Robert Harper |
| 2020 | Monitoring Event Frequencies. Thomas Ferrère, Thomas A. Henzinger, Bernhard Kragl |
| 2020 | On Free Completely Iterative Algebras. Jirí Adámek |
| 2020 | On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics. Matthias Hoelzel, Richard Wilke |
| 2020 | Order-Invariant First-Order Logic over Hollow Trees. Julien Grange, Luc Segoufin |
| 2020 | Parity Games: Another View on Lehtinen's Algorithm. Pawel Parys |
| 2020 | Proof Complexity of Systems of (Non-Deterministic) Decision Trees and Branching Programs. Sam Buss, Anupam Das, Alexander Knop |
| 2020 | Reverse Derivative Categories. J. Robin B. Cockett, Geoff S. H. Cruttwell, Jonathan Gallagher, Jean-Simon Pacaud Lemay, Benjamin MacAdam, Gordon D. Plotkin, Dorette Pronk |
| 2020 | Revisiting the Duality of Computation: An Algebraic Analysis of Classical Realizability Models. Étienne Miquey |
| 2020 | Separation and Renaming in Nominal Sets. Joshua Moerman, Jurriaan Rot |
| 2020 | Solving Word Equations (And Other Unification Problems) by Recompression (Invited Talk). Artur Jez |
| 2020 | State Space Reduction For Parity Automata. Christof Löding, Andreas Tollkötter |
| 2020 | Strong Bisimulation for Control Operators (Invited Talk). Delia Kesner, Eduardo Bonelli, Andrés Viso |
| 2020 | Strongly Unambiguous Büchi Automata Are Polynomially Predictable With Membership Queries. Dana Angluin, Timos Antonopoulos, Dana Fisman |
| 2020 | Symmetric Computation (Invited Talk). Anuj Dawar |
| 2020 | Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents. Tim S. Lyon, Alwen Tiu, Rajeev Goré, Ranald Clouston |
| 2020 | Tangent Categories from the Coalgebras of Differential Categories. J. Robin B. Cockett, Jean-Simon Pacaud Lemay, Rory B. B. Lucyshyn-Wright |
| 2020 | Taylor expansion for Call-By-Push-Value. Jules Chouquet, Christine Tasson |
| 2020 | The Call-By-Value Lambda-Calculus with Generalized Applications. José Espírito Santo |
| 2020 | The Keys to Decidable HyperLTL Satisfiability: Small Models or Very Simple Formulas. Corto Mascle, Martin Zimmermann |
| 2020 | Unifying Cubical Models of Univalent Type Theory. Evan Cavallo, Anders Mörtberg, Andrew W. Swan |
| 2020 | Verification of Security Protocols (Invited Talk). Véronique Cortier |