7th International workshop on Reachability Problems

      25 - 27 September 2013, Uppsala, Sweden

Foto: Othamne Rezine


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.

Uppsala University

  Important dates:

  Submission deadline
  for 4-pages abstracts:
  12 August 2013

  Notification to authors
  for 4-pages abstracts::
  19 August 2013

   25 - 27 September 2013