11th International Workshop on Reachability Problems

      7 - 9 September 2017, London, UK

Invited Speakers

Hana Chockler, King's College London
How do we know that our system is correct? [abstract] [Presentation Slides]

Laurent Doyen, LSV - ENS Cachan
The multiple dimensions of mean-payoff games [abstract] [Presentation Slides]

Raphaël Jungers, Université catholique de Louvain
Path-complete Lyapunov techniques: stability, safety, and beyond ? [abstract]

Andreas Podelski, University of Freiburg
Trace Abstraction [abstract]

Important dates (Provisional):


Highlights 2017
Queen Mary
University of London
12-15 September 2017


We acknowledge the kind support of the EATCS