7th International workshop on Reachability Problems
25 - 27 September 2013, Uppsala, Sweden
Proceedings
The proceedings of the conference will be published in the Springer Verlag LNCS series and distributed during the conference.
Selected papers of formal and informal presentations will be invited to the special issue of a high quality journal devoted to Reachability Problems 2013.
Important dates:
Submission deadline
for 4-pages abstracts:
12 August 2013
Notification to authors
for 4-pages abstracts::
19 August 2013
Workshop:
25 - 27 September 2013
