[DMANET] CfP: Reachability Problems 2012 - Bordeaux (17 - 19 Sept.)

Dear Colleague,

The early registration deadline for the RP12 workshop in Bordeaux is extended to September 5.
Please consider participating and inform your colleagues that can be interested by the event.

=================================
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


**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************