LIX Colloquium
Reachability Problems'09
September 23rd-25th 2009
Ecole Polytechnique, France
Main.InvitedSpeakers History
Hide minor edits - Show changes to output
September 04, 2009, at 02:26 PM
by -
Changed line 1 from:
Invited Speakers:
to:
!! Invited Speakers:
July 15, 2009, at 11:45 PM
by -
Changed lines 9-11 from:
* Algorithmic Information Theory and Foundations of Probability - [[http://www.mccme.ru/lifr/pers/shen.htm | Alexander Shen]] ( CNRS Marseille )
* Model Checking as A Reachability Problem - [[http://www.cs.rice.edu/~vardi/ | Moshe Vardi]] ( Rice University )
to:
* [[http://www.mccme.ru/lifr/pers/shen.htm | Alexander Shen]] ( CNRS Marseille )
->'-Algorithmic Information Theory and Foundations of Probability-'
* [[http://www.cs.rice.edu/~vardi/ | Moshe Vardi]] ( Rice University )
->'-Model Checking as A Reachability Problem-'
->'-Algorithmic Information Theory and Foundations of Probability-'
* [[http://www.cs.rice.edu/~vardi/ | Moshe Vardi]] ( Rice University )
->'-Model Checking as A Reachability Problem-'
July 15, 2009, at 11:44 PM
by -
Changed lines 1-2 from:
Confirmed Invited Speakers:
to:
Invited Speakers:
Changed lines 7-8 from:
* Reachability for Continuous and Hybrid Systems - [[http://www-verimag.imag.fr/~maler/ | Oded Maler]] ( VERIMAG )
to:
* [[http://www-verimag.imag.fr/~maler/ | Oded Maler]] ( VERIMAG )
->'-Reachability for Continuous and Hybrid Systems-'
->'-Reachability for Continuous and Hybrid Systems-'
July 15, 2009, at 11:43 PM
by -
Changed lines 5-6 from:
* Formalisms for Specifying Markovian Population Models - [[http://mtc.epfl.ch/~tah/ | Thomas Henzinger]] ( EPFL in Lausanne )
to:
* [[http://mtc.epfl.ch/~tah/ | Thomas Henzinger]] ( EPFL in Lausanne )
->'-Formalisms for Specifying Markovian Population Models-'
->'-Formalisms for Specifying Markovian Population Models-'
July 15, 2009, at 11:42 PM
by -
Changed lines 4-5 from:
->Indented text
'-On the Reachability Problem for Dynamic Networks of Concurrent Pushdown Systems-'
'-On the Reachability Problem for Dynamic Networks of Concurrent Pushdown Systems-'
to:
->'-On the Reachability Problem for Dynamic Networks of Concurrent Pushdown Systems-'
July 15, 2009, at 11:41 PM
by -
Changed line 4 from:
to:
->Indented text
July 15, 2009, at 11:40 PM
by -
Changed lines 3-6 from:
* '-On the Reachability Problem for Dynamic Networks of Concurrent Pushdown Systems-' - [[http://www.liafa.jussieu.fr/~abou/ | Ahmed Bouajjani]] ( University of Paris 7 )
to:
* [[http://www.liafa.jussieu.fr/~abou/ | Ahmed Bouajjani]] ( University of Paris 7 )
'-On the Reachability Problem for Dynamic Networks of Concurrent Pushdown Systems-'
'-On the Reachability Problem for Dynamic Networks of Concurrent Pushdown Systems-'
July 15, 2009, at 11:40 PM
by -
Changed line 3 from:
* On the Reachability Problem for Dynamic Networks of Concurrent Pushdown Systems - [[http://www.liafa.jussieu.fr/~abou/ | Ahmed Bouajjani]] ( University of Paris 7 )
to:
* '-On the Reachability Problem for Dynamic Networks of Concurrent Pushdown Systems-' - [[http://www.liafa.jussieu.fr/~abou/ | Ahmed Bouajjani]] ( University of Paris 7 )
July 15, 2009, at 11:39 PM
by -
Changed lines 3-7 from:
* [[http://www.liafa.jussieu.fr/~abou/ | Ahmed Bouajjani]] ( University of Paris 7 )
* [[http://mtc.epfl.ch/~tah/ | Thomas Henzinger]] ( EPFL in Lausanne )
* [[http://www-verimag.imag.fr/~maler/ | Oded Maler]] ( VERIMAG )
* [[http://www.mccme.ru/lifr/pers/shen.htm | Alexander Shen]] ( CNRS Marseille )
* [[http://www.cs.rice.edu/~vardi/ | Moshe Vardi]] ( Rice University )
* [[http://mtc.epfl.ch/~tah/ | Thomas Henzinger]] ( EPFL in Lausanne )
* [[http://www-verimag.imag.fr/~maler/ | Oded Maler]] ( VERIMAG )
* [[http://www.mccme.ru/lifr/pers/shen.htm | Alexander Shen]] ( CNRS Marseille )
* [[http://www.cs.rice.edu/~vardi/ | Moshe Vardi]] ( Rice University )
to:
* On the Reachability Problem for Dynamic Networks of Concurrent Pushdown Systems - [[http://www.liafa.jussieu.fr/~abou/ | Ahmed Bouajjani]] ( University of Paris 7 )
* Formalisms for Specifying Markovian Population Models - [[http://mtc.epfl.ch/~tah/ | Thomas Henzinger]] ( EPFL in Lausanne )
* Reachability for Continuous and Hybrid Systems - [[http://www-verimag.imag.fr/~maler/ | Oded Maler]] ( VERIMAG )
* Algorithmic Information Theory and Foundations of Probability - [[http://www.mccme.ru/lifr/pers/shen.htm | Alexander Shen]] ( CNRS Marseille )
* Model Checking as A Reachability Problem - [[http://www.cs.rice.edu/~vardi/ | Moshe Vardi]] ( Rice University )
* Formalisms for Specifying Markovian Population Models - [[http://mtc.epfl.ch/~tah/ | Thomas Henzinger]] ( EPFL in Lausanne )
* Reachability for Continuous and Hybrid Systems - [[http://www-verimag.imag.fr/~maler/ | Oded Maler]] ( VERIMAG )
* Algorithmic Information Theory and Foundations of Probability - [[http://www.mccme.ru/lifr/pers/shen.htm | Alexander Shen]] ( CNRS Marseille )
* Model Checking as A Reachability Problem - [[http://www.cs.rice.edu/~vardi/ | Moshe Vardi]] ( Rice University )
March 28, 2009, at 02:55 PM
by -
Changed lines 3-7 from:
* [[http://www.liafa.jussieu.fr/~abou/ | Ahmed Bouajjani]]
* [[http://mtc.epfl.ch/~tah/ | Thomas Henzinger]]
* [[http://www-verimag.imag.fr/~maler/ | Oded Maler]]
* [[http://www.mccme.ru/lifr/pers/shen.htm | Alexander Shen]]
* [[http://www.cs.rice.edu/~vardi/ | Moshe Vardi]]
* [[http://mtc.epfl.ch/~tah/ | Thomas Henzinger]]
* [[http://www-verimag.imag.fr/~maler/ | Oded Maler]]
* [[http://www.mccme.ru/lifr/pers/shen.htm | Alexander Shen]]
* [[http://www.cs.rice.edu/~vardi/ | Moshe Vardi]]
to:
* [[http://www.liafa.jussieu.fr/~abou/ | Ahmed Bouajjani]] ( University of Paris 7 )
* [[http://mtc.epfl.ch/~tah/ | Thomas Henzinger]] ( EPFL in Lausanne )
* [[http://www-verimag.imag.fr/~maler/ | Oded Maler]] ( VERIMAG )
* [[http://www.mccme.ru/lifr/pers/shen.htm | Alexander Shen]] ( CNRS Marseille )
* [[http://www.cs.rice.edu/~vardi/ | Moshe Vardi]] ( Rice University )
* [[http://mtc.epfl.ch/~tah/ | Thomas Henzinger]] ( EPFL in Lausanne )
* [[http://www-verimag.imag.fr/~maler/ | Oded Maler]] ( VERIMAG )
* [[http://www.mccme.ru/lifr/pers/shen.htm | Alexander Shen]] ( CNRS Marseille )
* [[http://www.cs.rice.edu/~vardi/ | Moshe Vardi]] ( Rice University )
February 12, 2009, at 01:17 AM
by -
Changed lines 3-7 from:
* Ahmed Bouajjani
* Thomas Henzinger
* Oded Maler
* Alexander Shen
* Moshe Vardi
* Thomas Henzinger
* Oded Maler
* Alexander Shen
* Moshe Vardi
to:
* [[http://www.liafa.jussieu.fr/~abou/ | Ahmed Bouajjani]]
* [[http://mtc.epfl.ch/~tah/ | Thomas Henzinger]]
* [[http://www-verimag.imag.fr/~maler/ | Oded Maler]]
* [[http://www.mccme.ru/lifr/pers/shen.htm | Alexander Shen]]
* [[http://www.cs.rice.edu/~vardi/ | Moshe Vardi]]
* [[http://mtc.epfl.ch/~tah/ | Thomas Henzinger]]
* [[http://www-verimag.imag.fr/~maler/ | Oded Maler]]
* [[http://www.mccme.ru/lifr/pers/shen.htm | Alexander Shen]]
* [[http://www.cs.rice.edu/~vardi/ | Moshe Vardi]]
February 04, 2009, at 10:01 PM
by -
Changed lines 7-8 from:
(we are waiting confirmations from other proposed invited speakers)
to:
* Moshe Vardi
January 14, 2009, at 09:41 PM
by -
Deleted line 3:
* Alexander Shen
Added line 6:
* Alexander Shen
January 14, 2009, at 09:40 PM
by -
Added line 3:
* Ahmed Bouajjani
Added line 6:
* Oded Maler
January 14, 2009, at 09:39 PM
by -
Added line 3:
* Alexander Shen
Deleted line 4:
* Alexander Shen
January 14, 2009, at 09:39 PM
by -
Deleted line 0:
Changed lines 3-4 from:
- Thomas Henzinger
- Alexander Shen
- Alexander Shen
to:
* Thomas Henzinger
* Alexander Shen
* Alexander Shen
January 14, 2009, at 09:39 PM
by -
Changed lines 1-7 from:
This page will exist soon.
to:
Confirmed Invited Speakers:
- Thomas Henzinger
- Alexander Shen
(we are waiting confirmations from other proposed invited speakers)
November 12, 2008, at 09:45 PM
by -
Added line 1:
This page will exist soon.
