7th International workshop on Reachability Problems

      25 - 27 September 2013, Uppsala, Sweden

Foto: Othamne Rezine

Previous editions of the workshop



●   RP'12 in Bordeaux, France, LNCS proceedings, Volume 7550/2012, Springer Verlag

●   RP'11 in Genova, Italy, LNCS proceedings, Volume 6945/2011, Springer Verlag

●   RP'10 in Brno, Czech Republic, LNCS proceedings, Volume 6227/2010, Springer Verlag

●   RP'09 in Palaiseau, France, LNCS proceedings, Volume 5797/2009, Springer Verlag

●   RP'08 in Liverpool, UK, ENTCS proceedings, Volume 223, Elsevier

●   RP'07 in Turku, Finland, TUCS General Publication Serie, Volume 45, Turku Centre for Computer Science

Uppsala University

  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