| 2020 | Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents. | Tim S. Lyon, Alwen Tiu, Rajeev Gor, Ranald Clouston |
| 2020 | State Space Reduction For Parity Automata. | Christof Lding, Andreas Tollktter |
| 2020 | Expressive Logics for Coinductive Predicates. | Clemens Kupke, Jurriaan Rot |
| 2020 | Strong Bisimulation for Control Operators (Invited Talk). | Delia Kesner, Eduardo Bonelli, Andrs Viso |
| 2020 | Solving Word Equations (And Other Unification Problems) by Recompression (Invited Talk). | Artur Jez |
| 2020 | On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics. | Matthias Hoelzel, Richard Wilke |
| 2020 | Glueability of Resource Proof-Structures: Inverting the Taylor Expansion. | Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco |
| 2020 | Order-Invariant First-Order Logic over Hollow Trees. | Julien Grange, Luc Segoufin |
| 2020 | Guarded Teams: The Horizontally Guarded Case. | Erich Grdel, Martin Otto |
| 2020 | Automatic Equivalence Structures of Polynomial Growth. | Moses Ganardi, Bakhadyr Khoussainov |
| 2020 | Monitoring Event Frequencies. | Thomas Ferrre, Thomas A. Henzinger, Bernhard Kragl |
| 2020 | Internal Calculi for Separation Logics. | Stphane Demri, tienne Lozes, Alessio Mansutti |
| 2020 | Symmetric Computation (Invited Talk). | Anuj Dawar |
| 2020 | Verification of Security Protocols (Invited Talk). | Vronique Cortier |
| 2020 | Tangent Categories from the Coalgebras of Differential Categories. | J. Robin B. Cockett, Jean-Simon Pacaud Lemay, Rory B. B. Lucyshyn-Wright |
| 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 | Taylor expansion for Call-By-Push-Value. | Jules Chouquet, Christine Tasson |
| 2020 | FO-Definability of Shrub-Depth. | Yijia Chen, Jrg Flum |
| 2020 | Unifying Cubical Models of Univalent Type Theory. | Evan Cavallo, Anders Mrtberg, Andrew W. Swan |
| 2020 | Internal Parametricity for Cubical Type Theory. | Evan Cavallo, Robert Harper |
| 2020 | Proof Complexity of Systems of (Non-Deterministic) Decision Trees and Branching Programs. | Sam Buss, Anupam Das, Alexander Knop |
| 2020 | A Complete Axiomatisation of a Fragment of Language Algebra. | Paul Brunet |
| 2020 | Coverage and Vacuity in Network Formation Games. | Gili Bielous, Orna Kupferman |
| 2020 | A Robust Class of Linear Recurrence Sequences. | Corentin Barloy, Nathanal Fijalkow, Nathan Lhote, Filip Mazowiecki |
| 2020 | Strongly Unambiguous Bchi Automata Are Polynomially Predictable With Membership Queries. | Dana Angluin, Timos Antonopoulos, Dana Fisman |