| 2020 | Decidability and Synthesis of Abstract Inductive Invariants. | Francesco Ranzato |
| 2020 | Scalable Termination Detection for Distributed Actor Systems. | Dan Plyukhin, Gul Agha |
| 2020 | Modern Applications of Game-Theoretic Principles (Invited Paper). | Catuscia Palamidessi, Marco Romanelli |
| 2020 | On Ranking Function Synthesis and Termination for Polynomial Programs. | Eike Neumann, Jol Ouaknine, James Worrell |
| 2020 | Reaching Your Goal Optimally by Playing at Random with No Memory. | Benjamin Monmege, Julie Parreaux, Pierre-Alain Reynier |
| 2020 | Residual Nominal Automata. | Joshua Moerman, Matteo Sammartino |
| 2020 | Monads and Quantitative Equational Theories for Nondeterminism and Probability. | Matteo Mio, Valeria Vignudelli |
| 2020 | Algebraic Invariants for Linear Hybrid Automata. | Rupak Majumdar, Jol Ouaknine, Amaury Pouly, James Worrell |
| 2020 | Reachability in Two-Dimensional Vector Addition Systems with States: One Test Is for Free. | Jrme Leroux, Grgoire Sutre |
| 2020 | A General Approach to Derive Uncontrolled Reversible Semantics. | Ivan Lanese, Doriana Medic |
| 2020 | Strategy Complexity of Parity Objectives in Countable MDPs. | Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke |
| 2020 | A Near-Linear-Time Algorithm for Weak Bisimilarity on Markov Chains. | David N. Jansen, Jan Friso Groote, Ferry Timmers, Pengfei Yang |
| 2020 | Probabilistic Analysis of Binary Sessions. | Omar Inverso, Hernn C. Melgratti, Luca Padovani, Catia Trubiani, Emilio Tuosto |
| 2020 | Session Subtyping and Multiparty Compatibility Using Circular Sequents. | Ross Horne |
| 2020 | On the Representation of References in the Pi-Calculus. | Daniel Hirschkoff, Enguerrand Prebet, Davide Sangiorgi |
| 2020 | Model-Free Reinforcement Learning for Stochastic Parity Games. | Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak |
| 2020 | Propositional Dynamic Logic for Hyperproperties. | Jens Oliver Gutsfeld, Markus Mller-Olm, Christoph Ohrem |
| 2020 | Reactive Bisimulation Semantics for a Process Algebra with Time-Outs. | Rob van Glabbeek |
| 2020 | Weighted Transducers for Robustness Verification. | Emmanuel Filiot, Nicolas Mazzocchi, Jean-Franois Raskin, Sriram Sankaranarayanan, Ashutosh Trivedi |
| 2020 | A Classification of Weak Asynchronous Models of Distributed Computing. | Javier Esparza, Fabian Reiter |
| 2020 | Non Axiomatisability of Positive Relation Algebras with Constants, via Graph Homomorphisms. | Amina Doumane, Damien Pous |
| 2020 | Decidable Inductive Invariants for Verification of Cryptographic Protocols with Unbounded Sessions. | Emanuele D'Osualdo, Felix Stutz |
| 2020 | Synthesis of Computable Regular Functions of Infinite Words. | Vrunda Dave, Emmanuel Filiot, Shankara Narayanan Krishna, Nathan Lhote |
| 2020 | Session Types with Arithmetic Refinements. | Ankush Das, Frank Pfenning |
| 2020 | Universality Problem for Unambiguous VASS. | Wojciech Czerwinski, Diego Figueira, Piotr Hofman |