LIX Colloquium
Reachability Problems'09

September 23rd-25th 2009

Ecole Polytechnique, France







Recent Changes- Printable Version - Search:



 

Main.InvitedSpeakers History

Show minor edits - Show changes to markup

September 04, 2009, at 02:26 PM by 129.104.11.1 -
Changed line 1 from:

Invited Speakers:

to:

Invited Speakers:

July 15, 2009, at 11:45 PM by 84.92.37.58 -
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 84.92.37.58 -
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 84.92.37.58 -
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 84.92.37.58 -
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 84.92.37.58 -
Changed line 4 from:
to:
Indented text
July 15, 2009, at 11:40 PM by 84.92.37.58 -
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 84.92.37.58 -
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 84.92.37.58 -
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 84.92.37.58 -
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 84.92.37.58 -
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 82.241.88.117 -
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 82.241.88.117 -
Deleted line 3:
  • Alexander Shen
Added line 6:
  • Alexander Shen
January 14, 2009, at 09:40 PM by 82.241.88.117 -
Added line 3:
  • Ahmed Bouajjani
Added line 6:
  • Oded Maler
January 14, 2009, at 09:39 PM by 82.241.88.117 -
Added line 3:
  • Alexander Shen
Deleted line 4:
  • Alexander Shen
January 14, 2009, at 09:39 PM by 82.241.88.117 -
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 82.241.88.117 -
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 127.0.0.1 -
Added line 1:

This page will exist soon.

Edit - History - Print - Recent Changes - Search - Edit menu - Private
Page last modified on September 04, 2009, at 02:26 PM
eXTReMe Tracker