7th International workshop on Reachability Problems

Program Committee

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

●   Rajeev Alur , University of Pennsylvania

●   Mohamed Faouzi Atig, Uppsala University

●   Bernard Boigelot , University of Liege

●   Ahmed Bouajjani , LIAFA, University Paris Diderot

●   Krishnendu Chatterjee , Institute of Science and Technology

●   Giorgio Delzanno , DIBRIS, Università di Genova

●   Javier Esparza , Technische Universität München

●   Alain Finkel , ENS Cachan

●   Pierre Ganty, IMDEA Software Institute

●   K. Narayan Kumar , Chennai Mathematical Institute

●   Kim Guldstrand Larsen , Aalborg University

●   Jerome Leroux , CNRS-LABRI

●   Richard Mayr , University of Edinburgh

●   Markus Müller-Olm , Wilhelms-Universität Münster

●   Andreas Podelski , University of Freiburg

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

●   Jean-Francois Raskin , Université Libre de Bruxelles

●   Ahmed Rezine , Linköping University

●   James Worrell , Oxford University

●   Hsu-Chun Yen , National Taiwan University

●   Gianluigi Zavattaro , Università di Bologna

  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