12th International Conference on Reachability Problems
24 - 26 September 2018, Marseille, France
Home
Registration
Invited Speakers
Accepted Papers
Program
Proceedings
Submission
Committees
Travel and Accommodation
Local Info
Organisers
Past RPs
Chairs
Igor Potapov
, University of Liverpool
Pierre-Alain Reynier
, Aix-Marseille University, LIS
Program Committee
S. Akshay
, IIT Bombay
Christel Baier
, TU Dresden
Paul Bell
, Liverpool John Moores University
Nathalie Bertrand
, Inria
Udi Boker
, Interdisciplinary Center of Herzliya
Krishnendu Chatterjee
, Institute of Science and Technology
Laure Daviaud
, University of Warwick
Giorgio Delzanno
, Universita Degli Studi Di Genova
Emmanuel Filiot
, FNRS, Université libre de Bruxelles
Pierre Ganty
, IMDEA Software Institute
Matthew Hague
, Royal Holloway University of London
Vesa Halava
, University of Turku
Petr Jancar
, Faculty of Science, Palacky Univ. Olomouc
Martin Lange
, University of Kassel
Sławomir Lasota
, Warsaw University
Laurent Fribourg
, CNRS, LSV, ENS Paris-Saclay
Benjamin Monmege
, Aix-Marseille Université
Anca Muscholl
, Université de Bordeaux
Igor Potapov
, University of Liverpool -
co-chair
Pavithra Prabhakar
, Kansas State University
Alexander Rabinovich
, Tel Aviv University
Pierre-Alain Reynier
, Aix-Marseille Université -
co-chair
Thomas Schwentick
, TU Dortmund
Helmut Seidl
, TU Munich
Mikhail Volkov
, Ural State University
Steering Committee
Parosh Aziz Abdulla (Sweden)
Olivier Bournez (France)
Vesa Halava (Finland)
Alain Finkel (France)
Oscar Ibarra (USA)
Juhani Karhumaki (Finland)
Jerome Leroux (France)
Joel Ouaknine (Germany)
Igor Potapov (UK)
James Worrell (UK)
Important dates
Support