7th International workshop on Reachability Problems

Organizing Committee

●   Parosh Aziz Abdulla (co-chair), Uppsala University

●   Mohamed Faouzi Atig (co-chair), Uppsala University

●   Carl Leonardsson, Uppsala University

●   Igor Potapov (co-chair), University of Liverpool

●   Jari Stenman, Uppsala University

●   Othmane Rezine, 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