LIX Colloquium / 3rd Workshop on Reachability Problems, RP'2009

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

April 24, 2009, at 01:20 PM by 129.104.11.1 -

Deleted line 0:

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

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:

April 24, 2009, at 01:17 PM by 129.104.11.1 -

Deleted line 1:

Added line 35:

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

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:

+++++++++++++++++

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

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:

+++++++++++++++++

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/

LIX Colloquium
Reachability Problems'09

September 23rd-25th 2009

Ecole Polytechnique, France

Main.CallForPapers History

LIX Colloquium Reachability Problems'09

September 23rd-25th 2009 Ecole Polytechnique, France

Main.CallForPapers History

LIX Colloquium
Reachability Problems'09

September 23rd-25th 2009

Ecole Polytechnique, France