10th International Workshop on Reachability Problems

      19 - 21 September 2016, Aalborg, Denmark

Proceedings


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

LNCS

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

Important dates:


Support

We acknowledge the kind support of

CISS