LIX Colloquium
Reachability Problems'09

September 23rd-25th 2009

Ecole Polytechnique, France

Recent Changes- Printable Version - Search:


Invited Speakers:

On the Reachability Problem for Dynamic Networks of Concurrent Pushdown Systems
Formalisms for Specifying Markovian Population Models
Reachability for Continuous and Hybrid Systems
Algorithmic Information Theory and Foundations of Probability
Model Checking as A Reachability Problem
Edit - History - Print - Recent Changes - Search - Edit menu - Private
Page last modified on September 04, 2009, at 02:26 PM
eXTReMe Tracker