7th International workshop on Reachability Problems

      25 - 27 September 2013, Uppsala, Sweden

Foto: Othamne Rezine

Invited Speakers



●   Patricia Bouyer-Decitre (Cachan, France)

         Robustness in Timed Automata

●   Daniel Kroening (Oxford, UK)

         Automated Verification of Concurrent Software

●   Rupak Majumdar (MPI-SWS, Germany)

        Provenance Verification

●   Shaz Qadeer (Microsoft Research Redmond, USA)

         Reachability Modulo Theories

●   Thomas Schwentick (TU Dortmund University, Germany)

         The dynamic complexity of the reachability problem on graphs

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