LIX Colloquium
Reachability Problems'09

September 23rd-25th 2009

Ecole Polytechnique, France







Recent Changes- Printable Version - Search:



 

Main.HomePage History

Show minor edits - Show changes to output

October 09, 2009, at 04:16 PM by 129.104.11.1 -
Deleted line 4:
* [[Attach:Cover.pdf|Cover File]]
October 09, 2009, at 04:14 PM by 129.104.11.1 -
Added lines 3-5:
* [[Attach:Flyer.pdf| Proceedings Flyer]]
* [[http://www.springer.com/978-3-642-04419-9| Link to the proceedings web page]]
* [[Attach:Cover.pdf|Cover File]]
September 22, 2009, at 12:41 PM by 129.104.11.1 -
Deleted lines 70-71:

%apply=img height=75%Attach:lncs.jpg%%
September 22, 2009, at 12:36 PM by 129.104.11.1 -
Added lines 68-70:
%apply=img height=75 lfloat%Attach:dga.gif%%

September 16, 2009, at 10:15 PM by 82.241.88.117 -
Changed line 4 from:
* [[Main/Indications|'''INDICATIONS WITH PICTURES''']] for coming to Ecole Polytechique from a RER B station to Ecole Polytechnique [[Main/Location|(Other details here))]]
to:
* [[Main/Indications|'''INDICATIONS WITH PICTURES''']] [[http://www.lix.polytechnique.fr/rp09/i.php/Main/Indications?action=print| (Printable Version)]] for coming to Ecole Polytechique from a RER B station to Ecole Polytechnique [[Main/Location|(Other details here))]]
September 16, 2009, at 05:21 PM by 129.104.11.1 -
Changed line 4 from:
* [[Main/Indications|'''INDICATIONS WITH PICTURES''']] for coming to Ecole Polytechique from a RER B station to Ecole Polytechnique [[Main/Location|(More details on )]]
to:
* [[Main/Indications|'''INDICATIONS WITH PICTURES''']] for coming to Ecole Polytechique from a RER B station to Ecole Polytechnique [[Main/Location|(Other details here))]]
September 16, 2009, at 05:20 PM by 129.104.11.1 -
Added line 4:
* [[Main/Indications|'''INDICATIONS WITH PICTURES''']] for coming to Ecole Polytechique from a RER B station to Ecole Polytechnique [[Main/Location|(More details on )]]
September 16, 2009, at 05:18 PM by 129.104.11.1 -
Changed line 3 from:
* [[Attach:Practical|A PDF ABOUF PRACTICAL INFORMATION ]]
to:
* [[Main/Practical| A PRACTICAL INFORMATION PDF IS AVAILABLE ]]
September 16, 2009, at 04:51 PM by 129.104.11.1 -
Changed line 3 from:
* [[Attach:Practical|PRACTICAL INFORMATION]]
to:
* [[Attach:Practical|A PDF ABOUF PRACTICAL INFORMATION ]]
September 16, 2009, at 04:50 PM by 129.104.11.1 -
Added line 3:
* [[Attach:Practical|PRACTICAL INFORMATION]]
September 04, 2009, at 02:36 PM by 129.104.11.1 -
Deleted lines 7-10:
! Reachability Problems'09

\\
\\
September 04, 2009, at 02:25 PM by 129.104.11.1 -
Added lines 9-11:

\\
\\
September 04, 2009, at 02:25 PM by 129.104.11.1 -
Changed line 8 from:
! Main Page
to:
! Reachability Problems'09
September 04, 2009, at 02:24 PM by 129.104.11.1 -
Deleted line 0:
Added lines 7-8:

! Main Page
September 04, 2009, at 02:24 PM by 129.104.11.1 -
Added lines 1-2:

! NEWS
Changed lines 4-11 from:

! NEWS

* [[http://springerlink.com/content/mpww542143h0/|LNCS Volume]] is online+'
* Program is [[Main/Programme|on line]]+'
* Registration [[Main/Registration|server]] is open+'

to:
* [[http://springerlink.com/content/mpww542143h0/|LNCS Volume]] is online
* Program is [[Main/Programme|on line]]
* Registration [[Main/Registration|server]] is open
September 04, 2009, at 02:23 PM by 129.104.11.1 -
Changed lines 3-8 from:
'+NEWS: [[http://springerlink.com/content/mpww542143h0/|LNCS Volume]] is online+'

'+NEWS: Programme is [[Main/Programme|on line]]+'


'+NEWS: Registration [[Main/Registration|server]] is open+'
to:
! NEWS

* [[http://springerlink.com/content/mpww542143h0/|LNCS Volume]] is online+'
* Program is [[Main/Programme|on line]]+'
* Registration [[Main/Registration|server]] is open+'
September 04, 2009, at 02:20 PM by 129.104.11.1 -
September 01, 2009, at 10:34 AM by 129.104.11.1 -
Added lines 2-4:

'+NEWS: [[http://springerlink.com/content/mpww542143h0/|LNCS Volume]] is online+'
August 18, 2009, at 02:33 PM by 129.104.11.1 -
Deleted lines 1-2:

'+NEWS: Registration [[Main/Registration|server]] is open+'
Added lines 3-5:


'+NEWS: Registration [[Main/Registration|server]] is open+'
August 18, 2009, at 02:33 PM by 129.104.11.1 -
Changed line 4 from:
to:
'+NEWS: Programme is [[Main/Programme|on line]]+'
August 13, 2009, at 09:56 PM by 89.227.85.146 -
Deleted lines 3-4:

'+Registration is FREE IF done BEFORE July 27th+'
July 17, 2009, at 02:51 PM by 129.104.11.1 -
Added lines 36-37:

They will appear as volume 5797 of Lecture Notes in Computer Science.
July 07, 2009, at 11:50 PM by 82.241.88.117 -
Changed line 3 from:
'+NEWS: Registration server is open+'
to:
'+NEWS: Registration [[Main/Registration|server]] is open+'
July 07, 2009, at 11:39 PM by 82.241.88.117 -
Changed line 69 from:
%apply=img height=75%Attach:anr.jpg%%
to:
July 07, 2009, at 11:38 PM by 82.241.88.117 -
Changed lines 3-8 from:
'+NEWS+'


''NEWS:'' ''Registration server is open''

'' registration is'' '''FREE''' ''if done'' '''BEFORE''' ''JULY 27 TH''
to:
'+NEWS: Registration server is open+'

'+Registration is FREE IF done BEFORE July 27th+'
July 07, 2009, at 11:37 PM by 82.241.88.117 -
Changed lines 3-6 from:

'+' ''NEWS:'' ''Registration server is open''

'' registration is'' '''FREE''' ''if done'' '''BEFORE''' ''JULY 27 TH''+'
to:
'+NEWS+'


''NEWS:'' ''Registration server is open''

'' registration is'' '''FREE''' ''if done'' '''BEFORE''' ''JULY 27 TH''
July 07, 2009, at 11:36 PM by 82.241.88.117 -
Changed line 4 from:
'+NEWS: ''Registration server is open''
to:
'+' ''NEWS:'' ''Registration server is open''
July 07, 2009, at 11:35 PM by 82.241.88.117 -
Deleted line 0:
Changed lines 3-5 from:
NEWS: ''Registration server is open''

'' registration is'' '''FREE''' ''if done'' '''BEFORE''' ''JULY 27 TH''
to:

'+NEWS: ''Registration server is open''

'' registration is'' '''FREE''' ''if done'' '''BEFORE''' ''JULY 27 TH''+'
July 07, 2009, at 11:34 PM by 82.241.88.117 -
Added lines 1-3:

!!!
July 07, 2009, at 11:34 PM by 82.241.88.117 -
Changed line 3 from:
'' registration is FREE if done '''BEFORE''' JULY 27 TH''
to:
'' registration is'' '''FREE''' ''if done'' '''BEFORE''' ''JULY 27 TH''
July 07, 2009, at 11:33 PM by 82.241.88.117 -
Changed lines 1-2 from:
NEWS: ''Registration server is open and registration is
%center%FREE IF DONE '''BEFORE''' JULY 27 TH''
to:
NEWS: ''Registration server is open''

'' registration is FREE if done '''BEFORE''' JULY 27 TH''
July 07, 2009, at 11:33 PM by 82.241.88.117 -
Changed lines 1-2 from:
NEWS: ''Registration server is open and registration is FREE IF DONE '''BEFORE''' JULY 27 TH''
to:
NEWS: ''Registration server is open and registration is
%center%FREE IF DONE '''BEFORE''' JULY 27 TH''
July 07, 2009, at 11:32 PM by 82.241.88.117 -
Changed line 1 from:
NEWS: '''REGISTRATION IS OPEN AND FREE IF BEFORE JULY 27 TH'''
to:
NEWS: ''Registration server is open and registration is FREE IF DONE '''BEFORE''' JULY 27 TH''
July 07, 2009, at 11:31 PM by 82.241.88.117 -
Changed lines 1-3 from:
'''REGISTRATION IS OPEN AND FREE IF BEFORE JULY 27 TH'''
to:
NEWS: '''REGISTRATION IS OPEN AND FREE IF BEFORE JULY 27 TH'''

!!!
July 07, 2009, at 11:31 PM by 82.241.88.117 -
Changed lines 1-2 from:

'''REGISTRATION IS OPEN'''
to:
'''REGISTRATION IS OPEN AND FREE IF BEFORE JULY 27 TH'''
July 07, 2009, at 11:30 PM by 82.241.88.117 -
Added lines 1-3:

'''REGISTRATION IS OPEN'''
June 22, 2009, at 10:57 AM by 129.104.11.1 -
Deleted line 0:
Deleted line 55:
%apply=img height=75 lfloat%Attach:digiteo.gif%%
May 13, 2009, at 01:22 PM by 138.253.184.200 -
Deleted lines 0-5:
(:html:)
<big> <strong>Submission deadline <blink> EXTENDED </blink>: 11 May, 2009 </strong> </big>
(:htmlend:)

''[[ http://www.easychair.org/conferences/?conf=rp09 | RP2009 submission server]] ''
May 13, 2009, at 01:21 PM by 138.253.184.200 -
Changed line 5 from:
''[[ http://www.easychair.org/conferences/?conf=rp09 | RP2009 submission server]] is now open.''
to:
''[[ http://www.easychair.org/conferences/?conf=rp09 | RP2009 submission server]] ''
April 24, 2009, at 01:13 PM by 129.104.11.1 -
Changed line 2 from:
<big> <strong>Submission deadline <blink> EXTENDED: 11 May, 2009 </blink> </strong> </big>
to:
<big> <strong>Submission deadline <blink> EXTENDED </blink>: 11 May, 2009 </strong> </big>
Deleted lines 3-4:

'+ '''Submission deadline EXTENDED: 11 May, 2009''' +'
April 24, 2009, at 01:12 PM by 129.104.11.1 -
Changed line 3 from:
to:
(:htmlend:)
April 24, 2009, at 01:12 PM by 129.104.11.1 -
Changed lines 2-3 from:
<blink> Submission deadline EXTENDED: 11 May, 2009 </blink>
(:htmlend:)
to:
<big> <strong>Submission deadline <blink> EXTENDED: 11 May, 2009 </blink> </strong> </big>

April 24, 2009, at 01:11 PM by 129.104.11.1 -
Changed lines 1-3 from:
to:
(:html:)
<blink> Submission deadline EXTENDED: 11 May, 2009 </blink>
(:htmlend:)
April 24, 2009, at 11:21 AM by 138.253.184.200 -
Added lines 1-3:

'+ '''Submission deadline EXTENDED: 11 May, 2009''' +'
March 24, 2009, at 01:27 PM by 138.253.184.200 -
Changed lines 1-2 from:

''[[ http://www.easychair.org/conferences/?conf=rp09 | RP2009 submission server]] is open now.''
to:
''[[ http://www.easychair.org/conferences/?conf=rp09 | RP2009 submission server]] is now open.''
March 24, 2009, at 01:26 PM by 138.253.184.200 -
Changed lines 1-2 from:
%center%
%''[[ http://www.easychair.org/conferences/?conf=rp09 | RP2009 submission server]] is open now.''%
to:

''[[ http://www.easychair.org/conferences/?conf=rp09 | RP2009 submission server]] is open now.''
March 24, 2009, at 01:25 PM by 138.253.184.200 -
Added line 1:
%center%
March 24, 2009, at 01:25 PM by 138.253.184.200 -
Changed lines 1-2 from:
'- ''[[ http://www.easychair.org/conferences/?conf=rp09 | RP2009 submission server]] is open now.''-'
to:
%''[[ http://www.easychair.org/conferences/?conf=rp09 | RP2009 submission server]] is open now.''%
March 24, 2009, at 01:24 PM by 138.253.184.200 -
Added lines 1-2:
'- ''[[ http://www.easychair.org/conferences/?conf=rp09 | RP2009 submission server]] is open now.''-'
February 19, 2009, at 09:17 PM by 82.228.106.61 -
Changed lines 23-24 from:
'''Proceedings'''
--------------
to:
!!! Proceedings
February 19, 2009, at 09:16 PM by 82.228.106.61 -
Added lines 22-30:

'''Proceedings'''
--------------

The proceedings of the conference will be published in the Springer Verlag LNCS series and distributed during the conference.

%apply=img height=75%Attach:lncs.jpg%%

Selected papers will be invited to the special issue of a high quality journal devoted to RP 2009.
February 19, 2009, at 09:14 PM by 82.228.106.61 -
February 19, 2009, at 09:12 PM by 82.228.106.61 -
Added line 49:
Added line 51:
February 19, 2009, at 09:11 PM by 82.228.106.61 -
Changed line 49 from:
to:
%apply=img height=75%Attach:lncs.jpg%%
February 12, 2009, at 01:58 AM by 84.92.37.58 -
Deleted lines 51-72:
(:div id="eXTReMe":)
[[http://extremetracking.com/open?login=rp09|
%apply=img style="border: 0;"
height="38" width="41" id="EXim" %http://t1.extreme-dm.com/i.gif"eXTReMe Tracker"%%
]]
<script type="text/javascript"><!--
var EXlogin='rp09' // Login
var EXvsrv='s11' // VServer
EXs=screen;EXw=EXs.width;navigator.appName!="Netscape"?
EXb=EXs.colorDepth:EXb=EXs.pixelDepth;EXsrc="src";
navigator.javaEnabled()==1?EXjv="y":EXjv="n";
EXd=document;EXw?"":EXw="na";EXb?"":EXb="na";
EXd.write("<img "+EXsrc+"=http://e2.extreme-dm.com",
"/"+EXvsrv+".g?login="+EXlogin+"&amp;",
"jv="+EXjv+"&amp;j=y&amp;srw="+EXw+"&amp;srb="+EXb+"&amp;",
"l="+escape(parent.document.referrer)+" height=1 width=1>");//-->
</script><noscript><div id="neXTReMe">%apply=img height="1" width="1" alt=""
%http://e2.extreme-dm.com/s11.g?login=rp09&amp;j=n&amp;jv=n%%
(:divend:)
</noscript></div>

February 12, 2009, at 01:52 AM by 84.92.37.58 -
Changed lines 52-53 from:

to:
(:div id="eXTReMe":)
[[http://extremetracking.com/open?login=rp09|
%apply=img style="border: 0;"
height="38" width="41" id="EXim" %http://t1.extreme-dm.com/i.gif"eXTReMe Tracker"%%
]]
<script type="text/javascript"><!--
var EXlogin='rp09' // Login
var EXvsrv='s11' // VServer
EXs=screen;EXw=EXs.width;navigator.appName!="Netscape"?
EXb=EXs.colorDepth:EXb=EXs.pixelDepth;EXsrc="src";
navigator.javaEnabled()==1?EXjv="y":EXjv="n";
EXd=document;EXw?"":EXw="na";EXb?"":EXb="na";
EXd.write("<img "+EXsrc+"=http://e2.extreme-dm.com",
"/"+EXvsrv+".g?login="+EXlogin+"&amp;",
"jv="+EXjv+"&amp;j=y&amp;srw="+EXw+"&amp;srb="+EXb+"&amp;",
"l="+escape(parent.document.referrer)+" height=1 width=1>");//-->
</script><noscript><div id="neXTReMe">%apply=img height="1" width="1" alt=""
%http://e2.extreme-dm.com/s11.g?login=rp09&amp;j=n&amp;jv=n%%
(:divend:)
</noscript></div>
January 07, 2009, at 09:50 AM by 129.104.11.1 -
Changed lines 1-55 from:
4hl482 [[http://bjkjhlgujuoh.com/|bjkjhlgujuoh]], [url=http://epohiluewfdh.com/]epohiluewfdh[/url], [link=http://sbvtscaqcmvj.com/]sbvtscaqcmvj[/link], http://bvwreanxjjyd.com/
to:
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 [[http://www.polytechnique.fr| 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.

This will also be the occasion to review recent breakthroughs by renown invited experts and survey emerging trends and emphasize on key open challenges. Participants are kindly encouraged to discuss on core scientific issues that need to be further tackled.


!!! Topics

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

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.

!!! Ecole Polytechnique

[[http://www.polytechnique.fr/rubriques/visite/# | Virtual visit of the campus]] by means of panoramic images

%height=212 apply=img%[[http://www.polytechnique.fr|Attach:ecole.gif]]

!!! Previous LIX Automn Colloquium

Previous LIX/Ecole Polytechnique autumn colloquium:

* 2008: [[http://www.lix.polytechnique.fr/etvc08/|Emerging Trends in Visual Computing (ETVC'08)]]
* 2007: [[http://www.lix.polytechnique.fr/~liberti/cal07/cal07.html | Complex Industrial Systems: Modelling, Verification and Optimization]].
* 2006: [[http://www.lix.polytechnique.fr/comete/conferences/LIXColloquium2006/page/index.html | Colloquium Emerging Trends in Concurrency Theory]].

!!! Previous Reachability Problems

* 2008: [[http://www.csc.liv.ac.uk/~rp2008/| RP'08 in Liverpool, UK]]
* 2007: [[http://www.math.utu.fi/projects/dlt2007/rp/ | RP'07 in Turku, Finland]]


!!! Sponsors

%apply=img height=75 lfloat%Attach:x.gif%%
%apply=img height=75 lfloat%Attach:lixlogo.png%%
%apply=img height=75 lfloat%Attach:cnrs.gif%%
%apply=img height=75 lfloat%Attach:digiteo.gif%%

%apply=img height=75%Attach:anr.jpg%%
%apply=img width=100pct%Attach:GDR-MathINFO.jpg%%



January 07, 2009, at 06:39 AM by momldw - AljHayCDMWXG
Changed lines 1-55 from:
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 [[http://www.polytechnique.fr| 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.

This will also be the occasion to review recent breakthroughs by renown invited experts and survey emerging trends and emphasize on key open challenges. Participants are kindly encouraged to discuss on core scientific issues that need to be further tackled.


!!! Topics

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

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.

!!! Ecole Polytechnique

[[http://www.polytechnique.fr/rubriques/visite/# | Virtual visit of the campus]] by means of panoramic images

%height=212 apply=img%[[http://www.polytechnique.fr|Attach:ecole.gif]]

!!! Previous LIX Automn Colloquium

Previous LIX/Ecole Polytechnique autumn colloquium:

* 2008: [[http://www.lix.polytechnique.fr/etvc08/|Emerging Trends in Visual Computing (ETVC'08)]]
* 2007: [[http://www.lix.polytechnique.fr/~liberti/cal07/cal07.html | Complex Industrial Systems: Modelling, Verification and Optimization]].
* 2006: [[http://www.lix.polytechnique.fr/comete/conferences/LIXColloquium2006/page/index.html | Colloquium Emerging Trends in Concurrency Theory]].

!!! Previous Reachability Problems

* 2008: [[http://www.csc.liv.ac.uk/~rp2008/| RP'08 in Liverpool, UK]]
* 2007: [[http://www.math.utu.fi/projects/dlt2007/rp/ | RP'07 in Turku, Finland]]


!!! Sponsors

%apply=img height=75 lfloat%Attach:x.gif%%
%apply=img height=75 lfloat%Attach:lixlogo.png%%
%apply=img height=75 lfloat%Attach:cnrs.gif%%
%apply=img height=75 lfloat%Attach:digiteo.gif%%

%apply=img height=75%Attach:anr.jpg%%
%apply=img width=100pct%Attach:GDR-MathINFO.jpg%%



to:
4hl482 [[http://bjkjhlgujuoh.com/|bjkjhlgujuoh]], [url=http://epohiluewfdh.com/]epohiluewfdh[/url], [link=http://sbvtscaqcmvj.com/]sbvtscaqcmvj[/link], http://bvwreanxjjyd.com/
December 11, 2008, at 09:52 AM by 193.253.141.64 -
Added lines 36-41:

!!! Previous Reachability Problems

* 2008: [[http://www.csc.liv.ac.uk/~rp2008/| RP'08 in Liverpool, UK]]
* 2007: [[http://www.math.utu.fi/projects/dlt2007/rp/ | RP'07 in Turku, Finland]]
November 27, 2008, at 11:21 PM by 82.241.88.117 -
Changed line 45 from:
%apply=img width=100px%Attach:GDR-MathINFO.jpg%%
to:
%apply=img width=100pct%Attach:GDR-MathINFO.jpg%%
November 27, 2008, at 11:21 PM by 82.241.88.117 -
Changed line 45 from:
%apply=img height=50%Attach:GDR-MathINFO.jpg%%
to:
%apply=img width=100px%Attach:GDR-MathINFO.jpg%%
November 27, 2008, at 11:20 PM by 82.241.88.117 -
Changed lines 40-42 from:
%apply=img height=75%Attach:lixlogo.png%%
%apply=img height=75%Attach:cnrs.gif%%
%apply=img height=75%Attach:digiteo.gif%%
to:
%apply=img height=75 lfloat%Attach:lixlogo.png%%
%apply=img height=75 lfloat%Attach:cnrs.gif%%
%apply=img height=75 lfloat%Attach:digiteo.gif%%
November 27, 2008, at 11:20 PM by 82.241.88.117 -
Changed line 39 from:
%apply=img height=75%Attach:x.gif%%
to:
%apply=img height=75 lfloat%Attach:x.gif%%
November 27, 2008, at 11:17 PM by 82.241.88.117 -
Added lines 26-27:

%height=212 apply=img%[[http://www.polytechnique.fr|Attach:ecole.gif]]
November 27, 2008, at 11:15 PM by 82.241.88.117 -
Added lines 34-43:

!!! Sponsors

%apply=img height=75%Attach:x.gif%%
%apply=img height=75%Attach:lixlogo.png%%
%apply=img height=75%Attach:cnrs.gif%%
%apply=img height=75%Attach:digiteo.gif%%

%apply=img height=75%Attach:anr.jpg%%
%apply=img height=50%Attach:GDR-MathINFO.jpg%%
November 27, 2008, at 10:03 PM by 82.241.88.117 -
Changed lines 1-3 from:
The annual colloquium organized by the computer science department of Ecole Polytechnique (LIX) will host Reachability Problems RP'2009.

to:
The annual fall colloquium organized by the computer science department of Ecole Polytechnique (LIX) will host Reachability Problems RP'2009.

November 27, 2008, at 12:23 AM by 82.241.88.117 -
Added lines 23-26:
!!! Ecole Polytechnique

[[http://www.polytechnique.fr/rubriques/visite/# | Virtual visit of the campus]] by means of panoramic images
November 27, 2008, at 12:21 AM by 82.241.88.117 -
November 27, 2008, at 12:21 AM by 82.241.88.117 -
Changed lines 27-28 from:
* 2008:
[[http://www.lix.polytechnique.fr/etvc08/|Emerging Trends in Visual Computing (ETVC'08)]]
to:
* 2008: [[http://www.lix.polytechnique.fr/etvc08/|Emerging Trends in Visual Computing (ETVC'08)]]
November 27, 2008, at 12:20 AM by 82.241.88.117 -
Changed lines 23-24 from:

to:
!!! Previous LIX Automn Colloquium

Previous LIX/Ecole Polytechnique autumn colloquium:

* 2008:
[[http://www.lix.polytechnique.fr/etvc08/|Emerging Trends in Visual Computing (ETVC'08)]]
* 2007: [[http://www.lix.polytechnique.fr/~liberti/cal07/cal07.html | Complex Industrial Systems: Modelling, Verification and Optimization]].
* 2006: [[http://www.lix.polytechnique.fr/comete/conferences/LIXColloquium2006/page/index.html | Colloquium Emerging Trends in Concurrency Theory]].



November 27, 2008, at 12:15 AM by 82.241.88.117 -
Changed lines 1-4 from:
The annual 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 [[http://www.polytechnique.fr| Ecole Polytechnique]].
to:
The annual 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 [[http://www.polytechnique.fr| Ecole Polytechnique]] (on-site at Palaiseau, a suburb district of Paris).

November 26, 2008, at 12:38 AM by 82.241.88.117 -
Changed lines 19-22 from:
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.


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


November 26, 2008, at 12:36 AM by 82.241.88.117 -
Changed lines 10-11 from:
! Topics
to:
!!! Topics
November 26, 2008, at 12:35 AM by 82.241.88.117 -
Deleted lines 22-54:

The annual colloquium organized by the computer science department of Ecole Polytechnique (LIX) will take place at the Ecole Polytechnique (on-site at Palaiseau, a suburb district of Paris) at the '''Pierre Faurre''' auditorium on November 18-20, 2008. A '''direct bus shuttle''' [[venue.html | downtown Paris<->Ecole Polytechnique]] will be provided to participants.

* [[directions.html | Indications with pictures]] for coming to Ecole Polytechique from Denfert-Rochereau (RER B+Bus 91.06)
* RER B from Denfert-Rochereau to Lozere(Ecole Polytechnique) + hill climbing (ascent method, recommended without lugagges): See [[PhotosLozere/directions2.html | itinary with pictures]].
* [[PierreFaurre.html | Pictures of the Pierre Faurre auditorium/Grand Hall]]

This year, the international colloquium of LIX (Ecole Polytechnique) focuses on the emerging trends and challenges of the foundations of the cross-disciplinary area of visual computing. Visual computing encompasses computational geometry, computer graphics, machine vision and learning (just to name a few), and relies at its very heart on information geometry. Visual computing is underpinning major industrial applications as attested recently by the emerging fields of computational photography, 3D cinematography and advanced biomedical imaging.

The colloquium will review recent breakthroughs by renown invited experts and survey emerging trends and emphasize on key open challenges. Participants are kindly ''encouraged'' to discuss on core scientific and technological issues that need to be further tackled.

The bus will depart at Noon 30 (12h30) Hotel Montparnasse Alesia (147 ter rue d'Alesia, 75014 Paris) \\
'''List of [[AbstractTalksETVC08.pdf | abstracts]] in PDF format (12 pages)''' ([[programme.html | detailed programme]]) \\

||
||[[http://www.polytechnique.fr | ecole.gif]] [[<<]] [[http://www.polytechnique.fr | Ecole Polytechnique]] ||[[ETVC08-poster.pdf | ETVC08-Poster-small.jpg]] [[<<]] [[ETVC08-poster.pdf | Download poster]] ||[[http://www.polytechnique.fr | Xsky2.jpg]] [[<<]] [[http://www.polytechnique.fr | Aerial view of "X"]] ||

\\
\\
[[http://www.polytechnique.fr/rubriques/visite/# | Virtual visit of the campus]] by means of panoramic images (auditorium Pierre Faure is located in the Grand Hall) \\
\\
A state-of-the-art peer-reviewed edited book will be available from Springer-Verlag in the [[http://www.springer.com/computer/lncs/ | LNCS series]]. \\
\\
[[http://www.springer.com/computer/lncs/ | lncs.gif]] [[http://www.fr.emb-japan.go.jp/150/index.html | 150logofr.gif]] \\
[[http://www.fr.emb-japan.go.jp/150/index.html | 150th anniversary of franco-japanese relationships]]. Previous LIX/Ecole Polytechnique autumn colloquium:

* 2007: [[http://www.lix.polytechnique.fr/~liberti/cal07/cal07.html | Complex Industrial Systems: Modelling, Verification and Optimization]].
* 2006: [[http://www.lix.polytechnique.fr/comete/conferences/LIXColloquium2006/page/index.html | Colloquium Emerging Trends in Concurrency Theory]].

Please note that the [[http://www.polytechnique.fr/xforum/ | X-Forum]] that gathers over 120 industrial partners, schools and universities will also take place in Nov. 19-20th 2008.
----
x.gif lixlogo.png cnrs.gif digiteo.gif ceregmia.bmp anr.bmp GDR-MathINFO.jpg
----
November 25, 2008, at 11:12 PM by 82.241.88.117 -
Changed lines 14-18 from:
* Algebraic structures
* Computational models
* Hybrid systems
* Verification
to:
* Algebraic structures
* Computational models
* Hybrid systems
* Verification
November 25, 2008, at 11:10 PM by 82.241.88.117 -
Changed lines 3-4 from:
Reachability Problems RP'2009 will indeed take place at [[http://www.polytechnique.fr| Ecole Polytechnique]].
to:
Reachability Problems RP'2009 will take place at [[http://www.polytechnique.fr| Ecole Polytechnique]].
November 25, 2008, at 10:01 PM by 82.241.88.117 -
Changed lines 19-55 from:
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.
to:
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.




The annual colloquium organized by the computer science department of Ecole Polytechnique (LIX) will take place at the Ecole Polytechnique (on-site at Palaiseau, a suburb district of Paris) at the '''Pierre Faurre''' auditorium on November 18-20, 2008. A '''direct bus shuttle''' [[venue.html | downtown Paris<->Ecole Polytechnique]] will be provided to participants.

* [[directions.html | Indications with pictures]] for coming to Ecole Polytechique from Denfert-Rochereau (RER B+Bus 91.06)
* RER B from Denfert-Rochereau to Lozere(Ecole Polytechnique) + hill climbing (ascent method, recommended without lugagges): See [[PhotosLozere/directions2.html | itinary with pictures]].
* [[PierreFaurre.html | Pictures of the Pierre Faurre auditorium/Grand Hall]]

This year, the international colloquium of LIX (Ecole Polytechnique) focuses on the emerging trends and challenges of the foundations of the cross-disciplinary area of visual computing. Visual computing encompasses computational geometry, computer graphics, machine vision and learning (just to name a few), and relies at its very heart on information geometry. Visual computing is underpinning major industrial applications as attested recently by the emerging fields of computational photography, 3D cinematography and advanced biomedical imaging.

The colloquium will review recent breakthroughs by renown invited experts and survey emerging trends and emphasize on key open challenges. Participants are kindly ''encouraged'' to discuss on core scientific and technological issues that need to be further tackled.

The bus will depart at Noon 30 (12h30) Hotel Montparnasse Alesia (147 ter rue d'Alesia, 75014 Paris) \\
'''List of [[AbstractTalksETVC08.pdf | abstracts]] in PDF format (12 pages)''' ([[programme.html | detailed programme]]) \\

||
||[[http://www.polytechnique.fr | ecole.gif]] [[<<]] [[http://www.polytechnique.fr | Ecole Polytechnique]] ||[[ETVC08-poster.pdf | ETVC08-Poster-small.jpg]] [[<<]] [[ETVC08-poster.pdf | Download poster]] ||[[http://www.polytechnique.fr | Xsky2.jpg]] [[<<]] [[http://www.polytechnique.fr | Aerial view of "X"]] ||

\\
\\
[[http://www.polytechnique.fr/rubriques/visite/# | Virtual visit of the campus]] by means of panoramic images (auditorium Pierre Faure is located in the Grand Hall) \\
\\
A state-of-the-art peer-reviewed edited book will be available from Springer-Verlag in the [[http://www.springer.com/computer/lncs/ | LNCS series]]. \\
\\
[[http://www.springer.com/computer/lncs/ | lncs.gif]] [[http://www.fr.emb-japan.go.jp/150/index.html | 150logofr.gif]] \\
[[http://www.fr.emb-japan.go.jp/150/index.html | 150th anniversary of franco-japanese relationships]]. Previous LIX/Ecole Polytechnique autumn colloquium:

* 2007: [[http://www.lix.polytechnique.fr/~liberti/cal07/cal07.html | Complex Industrial Systems: Modelling, Verification and Optimization]].
* 2006: [[http://www.lix.polytechnique.fr/comete/conferences/LIXColloquium2006/page/index.html | Colloquium Emerging Trends in Concurrency Theory]].

Please note that the [[http://www.polytechnique.fr/xforum/ | X-Forum]] that gathers over 120 industrial partners, schools and universities will also take place in Nov. 19-20th 2008.
----
x.gif lixlogo.png cnrs.gif digiteo.gif ceregmia.bmp anr.bmp GDR-MathINFO.jpg
----
November 25, 2008, at 09:52 PM by 82.241.88.117 -
Changed lines 12-13 from:
The Reachability Workshop is specifically aimed at gathering together scholars from diverse disciplines and backgrounds interested in reachability problems that appear in
to:
Reachability Problems is specifically aimed at gathering together scholars from diverse disciplines and backgrounds interested in reachability problems that appear in
November 25, 2008, at 09:51 PM by 82.241.88.117 -
Deleted line 4:
Changed lines 7-9 from:
to:
This will also be the occasion to review recent breakthroughs by renown invited experts and survey emerging trends and emphasize on key open challenges. Participants are kindly encouraged to discuss on core scientific issues that need to be further tackled.

November 25, 2008, at 09:48 PM by 82.241.88.117 -
Changed lines 1-2 from:
Reachability Problems RP'2009 will take place at [[http://www.polytechnique.fr| Ecole Polytechnique]].
to:
The annual colloquium organized by the computer science department of Ecole Polytechnique (LIX) will host Reachability Problems RP'2009

Reachability Problems RP'2009 will indeed take place at [[http://www.polytechnique.fr| Ecole Polytechnique]].

November 25, 2008, at 09:46 PM by 82.241.88.117 -
Changed lines 1-2 from:
Reachability Problems RP'2009 will take place at [[www.polytechnique.fr| Ecole Polytechnique]].
to:
Reachability Problems RP'2009 will take place at [[http://www.polytechnique.fr| Ecole Polytechnique]].
November 25, 2008, at 09:46 PM by 82.241.88.117 -
Changed lines 1-3 from:
The Workshop on Reachability Problems will take place at [[www.polytechnique.fr| Ecole Polytechnique]] on 2009. Papers presenting original contributions related to reachability problems in different computational models and systems are being sought.

to:
Reachability Problems RP'2009 will take place at [[www.polytechnique.fr| Ecole Polytechnique]].

Papers presenting original contributions related to reachability problems in different computational models and systems are being sought.

November 25, 2008, at 09:45 PM by 82.241.88.117 -
Changed lines 1-3 from:
The Workshop on Reachability Problems will take place at [[Ecole Polytechnique|http://www.polytechnique.fr]] on 2009. Papers presenting original contributions related to reachability problems in different computational models and systems are being sought.

to:
The Workshop on Reachability Problems will take place at [[www.polytechnique.fr| Ecole Polytechnique]] on 2009. Papers presenting original contributions related to reachability problems in different computational models and systems are being sought.

November 25, 2008, at 09:45 PM by 82.241.88.117 -
Changed lines 1-3 from:
The Workshop on Reachability Problems will take place at [[Ecole Polytechnique|www.polytechnique.fr]] on 2009. Papers presenting original contributions related to reachability problems in different computational models and systems are being sought.

to:
The Workshop on Reachability Problems will take place at [[Ecole Polytechnique|http://www.polytechnique.fr]] on 2009. Papers presenting original contributions related to reachability problems in different computational models and systems are being sought.

November 25, 2008, at 09:44 PM by 82.241.88.117 -
Changed lines 1-3 from:
The Workshop on Reachability Problems will take place at Ecole Polytechnique on 2009. Papers presenting original contributions related to reachability problems in different computational models and systems are being sought.

to:
The Workshop on Reachability Problems will take place at [[Ecole Polytechnique|www.polytechnique.fr]] on 2009. Papers presenting original contributions related to reachability problems in different computational models and systems are being sought.

November 12, 2008, at 09:56 PM by 127.0.0.1 -
Deleted line 0:
November 12, 2008, at 09:44 PM by 127.0.0.1 -
Changed lines 1-3 from:
The Workshop on Reachability Problems will take place at Ecole Polytechnique on 2009. Papers presenting original contributions related to reachability problems in different computational models and systems are being sought.

to:

The Workshop on Reachability Problems will take place at Ecole Polytechnique on 2009. Papers presenting original contributions related to reachability problems in different computational models and systems are being sought.

November 12, 2008, at 09:43 PM by 127.0.0.1 -
Changed lines 1-5 from:
to:
The Workshop on Reachability Problems will take place at Ecole Polytechnique on 2009. Papers presenting original contributions related to reachability problems in different computational models and systems are being sought.


! Topics

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

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.
February 20, 2008, at 04:50 PM by 152.81.12.99 -
Changed lines 3-33 from:
to:
October 25, 2007, at 02:17 PM by 152.81.14.145 -
October 25, 2007, at 01:26 PM by 152.81.14.145 -
October 25, 2007, at 10:49 AM by 152.81.10.34 -
Changed lines 30-33 from:
to:
October 25, 2007, at 10:44 AM by 152.81.114.194 -
Changed line 23 from:
to:
October 25, 2007, at 10:42 AM by 152.81.10.34 -
Changed lines 10-13 from:
to:
Changed lines 20-25 from:
to:
Changed lines 28-33 from:
to:
October 23, 2007, at 04:07 PM by 152.81.12.99 -
Deleted lines 2-3:
coucou Isabelle
October 23, 2007, at 04:07 PM by 152.81.12.99 -
Added lines 3-4:
coucou Isabelle
October 23, 2007, at 11:59 AM by 152.81.12.99 -
Changed line 28 from:
* ARA SSIA Sogea
to:
* [[http://sogea.loria.fr|ARA SSIA Sogea]]
October 23, 2007, at 11:58 AM by 152.81.12.99 -
Changed lines 26-27 from:
!!! Relations scientifiques et industrielles
to:
!! Relations scientifiques et industrielles
October 23, 2007, at 11:58 AM by 152.81.12.99 -
Changed lines 1-7 from:
Welcome to web pages of project CARTE.

(under construction)

!! Menu

(:include Site.SideBar:)
to:
October 23, 2007, at 11:36 AM by 152.81.12.99 -
Changed line 7 from:
(:include Site.SideBar)
to:
(:include Site.SideBar:)
October 23, 2007, at 11:35 AM by 152.81.12.99 -
Changed line 7 from:
(:include Site.Sidebar)
to:
(:include Site.SideBar)
October 23, 2007, at 11:35 AM by 152.81.12.99 -
Changed line 7 from:
(include: Site.Sidebar)
to:
(:include Site.Sidebar)
October 23, 2007, at 11:35 AM by 152.81.12.99 -
Changed line 7 from:
%include: Site.Sidebar
to:
(include: Site.Sidebar)
October 23, 2007, at 11:34 AM by 152.81.12.99 -
Added lines 5-7:
!! Menu

%include: Site.Sidebar
October 23, 2007, at 11:33 AM by 152.81.12.99 -
Changed lines 1-6 from:
to:
Welcome to web pages of project CARTE.

(under construction)
October 23, 2007, at 11:33 AM by 152.81.12.99 -
Deleted lines 6-16:

A local copy of PmWiki's
documentation has been installed along with the software,
and is available via the [[PmWiki/documentation index]].

To continue setting up PmWiki, see [[PmWiki/initial setup tasks]].

The [[PmWiki/basic editing]] page describes how to create pages
in PmWiki. You can practice editing in the [[wiki sandbox]].

More information about PmWiki is available from http://www.pmwiki.org .
October 23, 2007, at 08:51 AM by 81.56.97.218 -
Changed lines 5-7 from:
son chemin

to:


October 23, 2007, at 08:50 AM by 81.56.97.218 -
Changed lines 5-7 from:


to:
son chemin

October 23, 2007, at 12:16 AM by 81.56.97.218 -
Changed lines 3-4 from:

to:
October 23, 2007, at 12:14 AM by 81.56.97.218 -
Changed lines 1-2 from:
Welcome to PmWiki!
to:
Welcome to the project CARTE.


Edit - History - Print - Recent Changes - Search - Edit menu - Private
Page last modified on October 09, 2009, at 04:16 PM
eXTReMe Tracker