[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS-ANNOUNCE] 2nd CFP - Reachability Problems 2009 (submission:April 23, 2009)

++++++++++ Submissions: April 23, 2009 +++++++++++++

               LIX Colloquium:
(September 23-25, 2009, Ecole Polytechnique, France)

==== Deadline for submissions: April 23, 2009  ====
==== Proceedings will be published in the      ====
====       Springer LNCS series                ====


The annual fall colloquium organized by the Computer Science
Laboratory of Ecole Polytechnique (LIX) will host Reachability
Problems RP'2009.

Reachability Problems 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 )

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);
frontiers between decidable and undecidable problems;
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.

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  

Important dates:
- Submission: April 23, 2009
- Notification: May 30, 2009
- Final version: June 15, 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.

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