| 2019 | Concurrent Algorithms and Data Structures for Model Checking (Invited Talk). | Jaco van de Pol |
| 2019 | Program Invariants (Invited Talk). | Jol Ouaknine |
| 2019 | Approximate Learning of Limit-Average Automata. | Jakub Michaliszyn, Jan Otop |
| 2019 | Reachability for Bounded Branching VASS. | Filip Mazowiecki, Michal Pilipczuk |
| 2019 | Reordering Derivatives of Trace Closures of Regular Languages. | Hendrik Maarand, Tarmo Uustalu |
| 2019 | A Sound Foundation for the Topological Approach to Task Solvability. | Jrmy Ledent, Samuel Mimram |
| 2019 | Synthesis of Safe, Optimal and Compact Strategies for Stochastic Hybrid Games (Invited Paper). | Kim G. Larsen |
| 2019 | Safety Verification for Deep Neural Networks with Provable Guarantees (Invited Paper). | Marta Z. Kwiatkowska |
| 2019 | Of Cores: A Partial-Exploration Framework for Markov Decision Processes. | Jan Kretnsk, Tobias Meggendorfer |
| 2019 | Register-Bounded Synthesis. | Ayrat Khalimov, Orna Kupferman |
| 2019 | Kleene Algebra with Observations. | Tobias Kapp, Paul Brunet, Jurriaan Rot, Alexandra Silva, Jana Wagemaker, Fabio Zanasi |
| 2019 | Game-Based Local Model Checking for the Coalgebraic mu-Calculus. | Daniel Hausmann, Lutz Schrder |
| 2019 | Reasoning About Distributed Knowledge of Groups with Infinitely Many Agents. | Michell Guzmn, Sophia Knight, Santiago Quintero, Sergio Ramrez, Camilo Rueda, Frank Valencia |
| 2019 | Equilibrium Design for Concurrent Games. | Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge |
| 2019 | Revisiting Local Time Semantics for Networks of Timed Automata. | R. Govind, Frdric Herbreteau, B. Srivathsan, Igor Walukiewicz |
| 2019 | Verification of Flat FIFO Systems. | Alain Finkel, M. Praveen |
| 2019 | Synthesis of Data Word Transducers. | Lo Exibard, Emmanuel Filiot, Pierre-Alain Reynier |
| 2019 | Graded Monads and Graded Logics for the Linear Time - Branching Time Spectrum. | Ulrich Dorsch, Stefan Milius, Lutz Schrder |
| 2019 | Alternating Weak Automata from Universal Trees. | Laure Daviaud, Marcin Jurdzinski, Karoliina Lehtinen |
| 2019 | Timed Basic Parallel Processes. | Lorenzo Clemente, Piotr Hofman, Patrick Totzke |
| 2019 | Asymmetric Distances for Approximate Differential Privacy. | Dmitry Chistikov, Andrzej S. Murawski, David Purser |
| 2019 | Combinations of Qualitative Winning for Stochastic Parity Games. | Krishnendu Chatterjee, Nir Piterman |
| 2019 | Long-Run Average Behavior of Vector Addition Systems with States. | Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop |
| 2019 | Near-Linear Time Algorithms for Streett Objectives in Graphs and MDPs. | Krishnendu Chatterjee, Wolfgang Dvork, Monika Henzinger, Alexander Svozil |
| 2019 | Domain-Aware Session Types. | Lus Caires, Jorge A. Prez, Frank Pfenning, Bernardo Toninho |