17-19 Sep 2012
Bordeaux, France
================================================================
CALL FOR PARTICIPATION
RP 2012
6th International Workshop on Reachability Problem
September 17 - 19 2012
Bordeaux, FR
http://rp12.labri.fr/
================================================================
AIMS AND OBJECTIVES
===================
The Reachability Workshop is specifically aimed at gathering
together scholars from diverse disciplines and backgrounds
interested in reachability problems that appear in
- Algebraic structures
- Computational models
- Hybrid systems
- Logic
- Verification
PROGRAM
=======
http://rp12.labri.fr/index.php?page=program
IMPORTANT DATE
===============
Deadline for early registration: September 5, 2012
PROGRAM COMMITTEE
=================
Davide Ancona, Genova
Bernard Boigelot, Liege
Olivier Bournez, Palaiseau
Cristian S. Calude, Auckland
Giorgio Delzanno, Genova
Javier Esparza, Mnchen
Alain Finkel, Cachan
Vesa Halava, Turku
Juhani Karhumki, Turku
Alexander Kurz, Leicester
Kim G. Larsen, Aalborg
Jerome Leroux, Bordeaux
Richard Mayr, Edinburgh
Alexei Lisitsa, Liverpool
Igor Potapov, Liverpool
Jean-Francois Raskin, Bruxels
Sylvain Schmitz, Cachan
Wolfgang Thomas, Aachen
James Worrell, Oxford
Hsu-Chun Yen, Taipei
Gianluigi Zavattaro, Bologna
ORGANIZING COMMITTEE
====================
Alain Finkel, Cachan
Jrme Leroux, Bordeaux
Igor Potapov, Liverpool
CONTACTS
========
E-mail: leroux@labri.fr, finkel@lsv.ens-cachan.fr, potapov@liverpool.ac.uk
Web: http://rp12.labri.fr