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
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