LIX Colloquium
Reachability Problems'09

September 23rd-25th 2009

Ecole Polytechnique, France







Recent Changes- Printable Version - Search:



 

Main.CallForPapers History

Show minor edits - Show changes to output

April 24, 2009, at 01:25 PM by 129.104.11.1 -
Changed lines 1-14 from:
++++++++++ 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//
to:
++++++++++ 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\\
Changed lines 18-19 from:
(on-site at Palaiseau, a suburb district of Paris). //
to:
(on-site at Palaiseau, a suburb district of Paris). \\
Changed lines 22-23 from:
computational models and systems are being sought. //
to:
computational models and systems are being sought. \\
Changed lines 26-42 from:
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://
============//
to:
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:\\
============\\
Changed lines 45-46 from:
and systems are being sought.//
to:
and systems are being sought.\\
Changed lines 56-58 from:
computational paradigms.//

to:
computational paradigms.\\

Changed lines 66-69 from:
published proceedings is not allowed. //

Proceedings//
=============//
to:
published proceedings is not allowed. \\

Proceedings\\
=============\\
Changed lines 72-75 from:
invited to the special issue of a high quality journal devoted to RP 2009. //


Important dates://
to:
invited to the special issue of a high quality journal devoted to RP 2009. \\


Important dates:\\
Changed lines 77-106 from:
- 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://
to:
- 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:\\
Changed lines 108-110 from:
- Olivier Bournez (Ecole Polytechnique)//
- Igor Potapov (University of Liverpool)//
to:
- Olivier Bournez (Ecole Polytechnique)\\
- Igor Potapov (University of Liverpool)\\
Changed lines 112-121 from:
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//
to:
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\\
Restore
April 24, 2009, at 01:20 PM by 129.104.11.1 -
Deleted line 0:
Restore
April 24, 2009, at 01:20 PM by 129.104.11.1 -
Deleted line 1:
Changed lines 4-15 from:
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
to:
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//
Changed lines 19-20 from:
(on-site at Palaiseau, a suburb district of Paris).
to:
(on-site at Palaiseau, a suburb district of Paris). //
Changed lines 23-24 from:
computational models and systems are being sought.
to:
computational models and systems are being sought. //
Changed lines 27-43 from:
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:
============
to:
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://
============//
Changed lines 46-47 from:
and systems are being sought.
to:
and systems are being sought.//
Changed lines 57-59 from:
computational paradigms.

to:
computational paradigms.//

Changed lines 67-70 from:
published proceedings is not allowed.

Proceedings
=============
to:
published proceedings is not allowed. //

Proceedings//
=============//
Changed lines 73-76 from:
invited to the special issue of a high quality journal devoted to RP 2009.


Important dates:
to:
invited to the special issue of a high quality journal devoted to RP 2009. //


Important dates://
Changed lines 78-107 from:
- 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:
to:
- 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://
Changed lines 109-111 from:
- Olivier Bournez (Ecole Polytechnique)
- Igor Potapov (University of Liverpool)
to:
- Olivier Bournez (Ecole Polytechnique)//
- Igor Potapov (University of Liverpool)//
Changed lines 113-122 from:
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
to:
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//
Restore
April 24, 2009, at 01:18 PM by 129.104.11.1 -
Changed lines 2-3 from:
++++++++++ Submissions: NEW DEADLINE MAY 11, 2009 +++++++++++++
to:

++++++++++ Submissions: NEW DEADLINE MAY 11, 2009 +++++++++++++ //
Deleted line 35:
Restore
April 24, 2009, at 01:17 PM by 129.104.11.1 -
Deleted line 1:
Added line 35:
Restore
April 24, 2009, at 01:17 PM by 129.104.11.1 -
Changed lines 1-26 from:
++++++++++ 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
to:


++++++++++ 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
Deleted line 28:
Deleted line 29:
Deleted line 30:
Deleted line 31:
Changed line 33 from:
to:
Changed line 35 from:
to:
================
Deleted line 36:
Deleted line 37:
Deleted line 38:
Changed lines 40-42 from:

- Moshe Y. Vardi ( Rice University
to:
- Moshe Y. Vardi ( Rice University )

Changed line 44 from:
to:
============
Added line 48:
Changed line 50 from:
Reachability probelms in infinite state systems,
to:
Reachability problems in infinite state systems,
Added line 60:
Changed line 69 from:
to:
Changed lines 71-76 from:

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.
to:
=============
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.

Changed lines 78-81 from:

- Submission: April 23, 2009
- Notification: May 30, 2009
- Final version: June 15, 2009
to:
================
- Submission: MAY 11th, 2009
- Notification: JUNE 16th, 2009
- Final version: JUNE 30th, 2009
Added line 84:
Changed line 86 from:
to:
================
Deleted line 87:
Deleted line 88:
Deleted line 89:
Deleted line 90:
Deleted line 91:
Deleted line 92:
Deleted line 93:
Deleted line 94:
Deleted line 95:
Deleted line 96:
Deleted line 97:
Deleted line 98:
Deleted line 99:
Deleted line 100:
Deleted line 101:
Deleted line 102:
Deleted line 103:
Deleted line 104:
Added line 107:
Changed line 109 from:
to:
====================
Deleted line 110:
Added lines 113-116:
with the help of the local organizers of
the 2009 edition of the LIX colloquium.

Changed lines 118-119 from:

to:
================
Changed lines 122-123 from:
Web: http://www.lix.polytechnique.fr/rp09
to:

http://www.lix.polytechnique.fr/rp09
Restore
February 21, 2009, at 01:28 PM by 130.232.202.241 -
Added line 29:
Added line 31:
Added line 33:
Added line 35:
Deleted lines 39-40:
+++++++++++++++++
Added line 41:
Added line 43:
Added line 45:
Added line 47:
Deleted lines 51-52:
+++++++++++++++++
Deleted lines 76-77:
+++++++++++++++++
Deleted lines 83-84:
+++++++++++++++++
Deleted lines 90-91:
+++++++++++++++++
Added line 92:
Added line 94:
Added line 96:
Added line 98:
Added line 100:
Added line 102:
Added line 104:
Added line 106:
Added line 108:
Added line 110:
Added line 112:
Added line 114:
Added line 116:
Added line 118:
Added line 120:
Added line 122:
Added line 124:
Added line 126:
Deleted lines 130-131:
+++++++++++++++++
Added line 132:
Deleted line 136:
+++++++++++++++++
Restore
February 21, 2009, at 01:27 PM by 130.232.202.241 -
Changed lines 7-12 from:
++++++++++++++++++++++++++++++++++++++++++++++++++++++++
++++ Deadline for submissions: April 23, 2009 ++++
++++ Proceedings will be published in the ++++
++++ Springer LNCS series ++++
++++++++++++++++++++++++++++++++++++++++++++++++++++++++
to:
+++++++++++++++++++++++++++++++++++++++++++++++++++

Deadline for submissions: April 23, 2009

Proceedings will be published in the

Springer LNCS series

+++++++++++++++++++++++++++++++++++++++++++++++++++
Added line 35:
Changed lines 37-38 from:
Ahmed Bouajjani ( University of Paris 7 )
to:

- Ahmed Bouajjani ( University of Paris 7 )
Added line 45:
Added line 47:
Added line 72:
Added line 74:
Added line 81:
Added line 83:
Added line 90:
Added line 92:
Added line 114:
Added line 116:
Added line 121:
Added line 123:
Changed line 127 from:
Web: http://www.lix.polytechnique.fr/~bournez/LIXCRP09/
to:
Web: http://www.lix.polytechnique.fr/rp09
Restore
February 21, 2009, at 01:25 PM by 130.232.202.241 -
Changed lines 7-11 from:
-------------------------------------------------------------==== Deadline for submissions: April 23, 2009 ====
==== Proceedings will be published in the ====
==== Springer LNCS series ====
-------------------------------------------------------------
http://www.lix.polytechnique.fr/~bournez/LIXCRP09/
to:
++++++++++++++++++++++++++++++++++++++++++++++++++++++++
++++ Deadline for submissions: April 23, 2009 ++++
++++ Proceedings will be published in the ++++
++++ Springer LNCS series ++++
++++++++++++++++++++++++++++++++++++++++++++++++++++++++

http://www.lix.polytechnique.fr/~bournez/LIXCRP09/
Changed lines 31-32 from:
================
- Ahmed Bouajjani ( University of Paris 7 )
to:
+++++++++++++++++
Ahmed Bouajjani ( University of Paris 7 )
Changed line 39 from:
============
to:
+++++++++++++++++
Changed line 64 from:
=============
to:
+++++++++++++++++
Changed line 71 from:
================
to:
+++++++++++++++++
Changed line 78 from:
================
to:
+++++++++++++++++
Changed line 100 from:
====================
to:
+++++++++++++++++
Changed line 105 from:
================
to:
+++++++++++++++++
Restore
February 21, 2009, at 01:22 PM by 130.232.202.241 -
Added lines 1-107:
++++++++++ 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/
Restore
Edit - History - Print - Recent Changes - Search - Edit menu - Private
Page last modified on April 24, 2009, at 01:25 PM
eXTReMe Tracker