LIX Colloquium
Reachability Problems'09
September 23rd-25th 2009
Ecole Polytechnique, France
Main.CallForPapers History
Show minor edits - Show changes to markup
++++++++++ 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//
++++++++++ 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
(on-site at Palaiseau, a suburb district of Paris). //
(on-site at Palaiseau, a suburb district of Paris).
computational models and systems are being sought. //
computational models and systems are being sought.
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:// ============//
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:
============\\
and systems are being sought.//
and systems are being sought.
computational paradigms.//
computational paradigms.
published proceedings is not allowed. //
Proceedings// =============//
published proceedings is not allowed.
Proceedings
=============\\
invited to the special issue of a high quality journal devoted to RP 2009. //
Important dates://
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://
- 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)//
- Olivier Bournez (Ecole Polytechnique)
- Igor Potapov (University of Liverpool)
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//
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\\
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
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//
(on-site at Palaiseau, a suburb district of Paris).
(on-site at Palaiseau, a suburb district of Paris). //
computational models and systems are being sought.
computational models and systems are being sought. //
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: ============
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:// ============//
and systems are being sought.
and systems are being sought.//
computational paradigms.
computational paradigms.//
published proceedings is not allowed.
Proceedings =============
published proceedings is not allowed. //
Proceedings// =============//
invited to the special issue of a high quality journal devoted to RP 2009.
Important dates:
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:
- 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)
- Olivier Bournez (Ecole Polytechnique)// - Igor Potapov (University of Liverpool)//
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
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//
++++++++++ Submissions: NEW DEADLINE MAY 11, 2009 +++++++++++++
++++++++++ Submissions: NEW DEADLINE MAY 11, 2009 +++++++++++++ //
++++++++++ Submissions: April 23, 2009 +++++++++++++ LIX Colloquium: 3rd WORKSHOP ON REACHABILITY PROBLEMS, RP'2009 (September 23-25, 2009, Ecole Polytechnique, France)
+++++++++++++++++++++++++++++++++++++++++++++++++++
Deadline for submissions: April 23, 2009 Proceedings will be published in the Springer LNCS series
+++++++++++++++++++++++++++++++++++++++++++++++++++
http://www.lix.polytechnique.fr/~bournez/LIXCRP09/
The annual fall colloquium organized by the Computer Science Department 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 Workshop is specifically aimed at gathering
++++++++++ 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
================
- Moshe Y. Vardi ( Rice University
- Moshe Y. Vardi ( Rice University )
============
Reachability probelms in infinite state systems,
Reachability problems in infinite state systems,
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.
============= 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.
- Submission: April 23, 2009 - Notification: May 30, 2009 - Final version: June 15, 2009
================ - Submission: MAY 11th, 2009 - Notification: JUNE 16th, 2009 - Final version: JUNE 30th, 2009
================
====================
with the help of the local organizers of the 2009 edition of the LIX colloquium.
================
Web: http://www.lix.polytechnique.fr/rp09
http://www.lix.polytechnique.fr/rp09
+++++++++++++++++
+++++++++++++++++
+++++++++++++++++
+++++++++++++++++
+++++++++++++++++
+++++++++++++++++
+++++++++++++++++
++++++++++++++++++++++++++++++++++++++++++++++++++++++++ ++++ Deadline for submissions: April 23, 2009 ++++ ++++ Proceedings will be published in the ++++ ++++ Springer LNCS series ++++ ++++++++++++++++++++++++++++++++++++++++++++++++++++++++
+++++++++++++++++++++++++++++++++++++++++++++++++++
Deadline for submissions: April 23, 2009 Proceedings will be published in the Springer LNCS series
+++++++++++++++++++++++++++++++++++++++++++++++++++
Ahmed Bouajjani ( University of Paris 7 )
- Ahmed Bouajjani ( University of Paris 7 )
Web: http://www.lix.polytechnique.fr/~bournez/LIXCRP09/
Web: http://www.lix.polytechnique.fr/rp09
==== Deadline for submissions: April 23, 2009 ====
==== Proceedings will be published in the ==== ==== Springer LNCS series ====
http://www.lix.polytechnique.fr/~bournez/LIXCRP09/
++++++++++++++++++++++++++++++++++++++++++++++++++++++++ ++++ Deadline for submissions: April 23, 2009 ++++ ++++ Proceedings will be published in the ++++ ++++ Springer LNCS series ++++ ++++++++++++++++++++++++++++++++++++++++++++++++++++++++
http://www.lix.polytechnique.fr/~bournez/LIXCRP09/
================ - Ahmed Bouajjani ( University of Paris 7 )
+++++++++++++++++
Ahmed Bouajjani ( University of Paris 7 )
============
+++++++++++++++++
=============
+++++++++++++++++
================
+++++++++++++++++
================
+++++++++++++++++
====================
+++++++++++++++++
================
+++++++++++++++++
++++++++++ Submissions: April 23, 2009 +++++++++++++ LIX Colloquium: 3rd WORKSHOP ON REACHABILITY PROBLEMS, RP'2009 (September 23-25, 2009, Ecole Polytechnique, France)
==== Deadline for submissions: April 23, 2009 ====
==== Proceedings will be published in the ==== ==== Springer LNCS series ====
http://www.lix.polytechnique.fr/~bournez/LIXCRP09/
The annual fall colloquium organized by the Computer Science Department 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 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 probelms 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: 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)
Contact: ================ 3rd Workshop on Reachability Problems 2009 - RP'09 Olivier Bournez: bournez@lix.polytechnique.fr Igor Potapov: potapov@liverpool.ac.uk Web: http://www.lix.polytechnique.fr/~bournez/LIXCRP09/