[We apologize for multiple copies.]
================================================================
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: [email protected], [email protected], [email protected]
Web: http://rp12.labri.fr
----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ [email protected] ]]
