LIX Colloquium
Reachability Problems'09
September 23rd-25th 2009
Ecole Polytechnique, France
Main.InvitedSpeakers History
Show minor edits - Show changes to markup
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 - Alexander Shen ( CNRS Marseille )
- Model Checking as A Reachability Problem - Moshe Vardi ( Rice University )
to:
- Alexander Shen ( CNRS Marseille )
Algorithmic Information Theory and Foundations of Probability
- 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 - Oded Maler ( VERIMAG )
to:
- Oded Maler ( VERIMAG )
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 - Thomas Henzinger ( EPFL in Lausanne )
to:
- Thomas Henzinger ( EPFL in Lausanne )
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
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 - Ahmed Bouajjani ( University of Paris 7 )
to:
- Ahmed Bouajjani ( University of Paris 7 )
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 - Ahmed Bouajjani ( University of Paris 7 )
to:
- On the Reachability Problem for Dynamic Networks of Concurrent Pushdown Systems - Ahmed Bouajjani ( University of Paris 7 )
July 15, 2009, at 11:39 PM
by
- Changed lines 3-7 from:
- Ahmed Bouajjani ( University of Paris 7 )
- Thomas Henzinger ( EPFL in Lausanne )
- Oded Maler ( VERIMAG )
- Alexander Shen ( CNRS Marseille )
- Moshe Vardi ( Rice University )
to:
- On the Reachability Problem for Dynamic Networks of Concurrent Pushdown Systems - Ahmed Bouajjani ( University of Paris 7 )
- Formalisms for Specifying Markovian Population Models - Thomas Henzinger ( EPFL in Lausanne )
- Reachability for Continuous and Hybrid Systems - Oded Maler ( VERIMAG )
- Algorithmic Information Theory and Foundations of Probability - Alexander Shen ( CNRS Marseille )
- Model Checking as A Reachability Problem - Moshe Vardi ( Rice University )
March 28, 2009, at 02:55 PM
by
- Changed lines 3-7 from:
- Ahmed Bouajjani
- Thomas Henzinger
- Oded Maler
- Alexander Shen
- Moshe Vardi
to:
- Ahmed Bouajjani ( University of Paris 7 )
- Thomas Henzinger ( EPFL in Lausanne )
- Oded Maler ( VERIMAG )
- Alexander Shen ( CNRS Marseille )
- 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
to:
- Ahmed Bouajjani
- Thomas Henzinger
- Oded Maler
- Alexander Shen
- 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
to:
- Thomas Henzinger
- 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.