LIX Colloquium
Reachability Problems'09
September 23rd-25th 2009
Ecole Polytechnique, France
Invited Speakers:
- Ahmed Bouajjani ( University of Paris 7 )
On the Reachability Problem for Dynamic Networks of Concurrent Pushdown Systems
- Thomas Henzinger ( EPFL in Lausanne )
Formalisms for Specifying Markovian Population Models
- Oded Maler ( VERIMAG )
Reachability for Continuous and Hybrid Systems
- Alexander Shen ( CNRS Marseille )
Algorithmic Information Theory and Foundations of Probability
- Moshe Vardi ( Rice University )
Model Checking as A Reachability Problem