9th International Workshop on Reachability Problems

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.

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