LIX Colloquium
Reachability Problems'09

September 23rd-25th 2009

Ecole Polytechnique, France







Recent Changes- Printable Version - Search:



 

++++++++++ Submissions: NEW DEADLINE MAY 11, 2009 +++++++++++++

              LIX Colloquium: 
3rd WORKSHOP ON REACHABILITY PROBLEMS, RP'2009
(September 23-25, 2009, Ecole Polytechnique, France)


==== Deadline for submissions: MAY 11th, 2009 ====
==== Proceedings will be published in the ====
==== Springer LNCS series ====
---------------------------------------------------

http://www.lix.polytechnique.fr/rp09
The annual fall colloquium organized by the Computer Science Laboratory of Ecole Polytechnique (LIX) will host Reachability Problems RP'2009. RP'2009 will take place at Ecole Polytechnique (on-site at Palaiseau, a suburb district of Paris).
Papers presenting original contributions related to reachability problems in different computational models and systems are being sought.
The Reachability Problems 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
- Verification
Invited Speakers:
================
- Ahmed Bouajjani ( University of Paris 7 )
- Thomas A. Henzinger ( EPFL in Lausanne )
- Oded Maler ( VERIMAG )
- Alexander Shen ( CNRS Marseille )
- Moshe Y. Vardi ( Rice University )

Submissions:
============
Papers presenting original contributions related to reachability problems in different computational models and systems are being sought.
Topics of interest include (but are not limited to): Reachability problems in infinite state systems, rewriting systems, dynamical and hybrid systems; reachability problems in logic and verification; reachability analysis in different computational models, counter/ timed/ cellular/ communicating automata; Petri-Nets; computational aspects of algebraic structures (semigroups, groups and rings); predictability in iterative maps and new computational paradigms.

Authors are invited to submit a draft of a full paper with at most 12 pages formatted according to LNCS guidelines. Proofs omitted due to space constraints must be put into an appendix to be read by the program committee members at their discretion. Submissions deviating from these guidelines risk rejection. Electronic submissions should be formatted in pdf. Simultaneous submission to other conferences or workshops with published proceedings is not allowed.
Proceedings
=============
The proceedings will be published in the Springer Verlag LNCS series and distributed during the conference. Selected papers will be invited to the special issue of a high quality journal devoted to RP 2009.

Important dates:
================ - Submission: MAY 11th, 2009
- Notification: JUNE 16th, 2009
- Final version: JUNE 30th, 2009
- Workshop: Sept. 23-25, 2009

Program Committee:
================
- Parosh Aziz Abdulla, Uppsala
- Luca de Alfaro, Santa Cruz
- Eugene Asarin, Paris
- Vincent Blondel, Louvain
- Bernard Boigelot, Liege
- Ahmed Bouajjani , Paris
- Olivier Bournez, Palaiseau
- Cristian S. Calude, Auckland
- Javier Esparza, Munchen
- Laurent Fribourg, Cachan
- Vesa Halava, Turku
- Franjo Ivancic, Princeton
- Oscar Ibarra, Santa Barbara
- Alexei Lisitsa, Liverpool
- Maurice Margenstern, Metz
- Igor Potapov, Liverpool
- Colin Stirling, Edinburgh
- Wolfgang Thomas, Aachen
- Hsu-Chun Yen, Taipei

Workshop Organizers:
==================== - Olivier Bournez (Ecole Polytechnique)
- Igor Potapov (University of Liverpool)
with the help of the local organizers of the 2009 edition of the LIX colloquium.

Contact:
================
3rd Workshop on Reachability Problems 2009 - RP'09
Olivier Bournez: bournez@lix.polytechnique.fr
Igor Potapov: potapov@liverpool.ac.uk
http://www.lix.polytechnique.fr/rp09

Edit - History - Print - Recent Changes - Search - Edit menu - Private
Page last modified on April 24, 2009, at 01:25 PM
eXTReMe Tracker