11th International Workshop on Reachability Problems

      7 - 9 September 2017, London, UK

Proceedings


The proceedings of the conference will be published in the Springer Verlag LNCS series and hard-copies will be distributed during the conference.

The online version is available here.

LNCS

Selected papers of formal and informal presentations will be invited to a special issue of a recognized journal (under negotiation).

Important dates (Provisional):


Nearby

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

Support

We acknowledge the kind support of the EATCS