9th International Workshop on Reachability Problems

      21 - 23 September 2015, Warsaw, Poland

Proceedings


The proceedings of the conference will be published in the Springer Verlag LNCS series (volume 9328) and distributed during the conference. The online version will be available here.

LNCS

Selected papers of formal and informal presentations will be invited to the special issue of Information and Computation.

Important dates:


Support

We acknowledge the kind support of

wcmcs

Dept. Mathematics, Informatics and Mechanics

University of Warsaw