11th International Workshop on Reachability Problems

      7 - 9 September 2017, London, UK

Chairs


Igor Potapov, University of Liverpool

Matthew Hague, Royal Holloway, University of London


Program Committee


Paul Bell, Liverpool John Moores University

Patricia Bouyer-Decitre, LSV, CNRS & ENS de Cachan

Laura Bozzelli, Universidad Politécnica de Madrid

Aiswarya Cyriac, Chennai Mathematical Institute

Giorgio Delzanno, Universita Degli Studi Di Genova

Piotrek Hofman, University of Warsaw

Peter Lammich, Institut fuer Informatik, TU Munich

Martin Lange, University of Kassel

Salvatore La Torre, Università degli Studi di Salerno

Ranko Lazic, University of Warwick

Ondřej Lengál, Brno University of Technology

Jerome Leroux, Laboratoire Bordelais de Recherche en Informatique

Rupak Majumdar, Max Planck Institute for Software Systems

Ahmed Rezine, Linköping University

Tachio Terauchi, School of Information Science, Japan Advanced Institute of Science and Technology

Hsu-Chun Yen, National Taiwan University

Important dates (Provisional):


Nearby

Highlights 2017
Queen Mary
University of London
12-15 September 2017

Support

We acknowledge the kind support of the EATCS