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, M�nchen
Alain Finkel, Cachan
Vesa Halava, Turku
Juhani Karhum�ki, 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
J�r�me 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