movep'2008 ---> MOdelling and VErifying Process

	Lundi	Mardi	Mercredi	Jeudi	Vendredi
9:00	Timed Systems (I) Nicolas Markey	Games(I) Christof Löding	Security(I) Yassine Lakhnech	Verification of Probabilistic Systems (I) Dave Parker	Computational Systems Biology (I) Vincent Danos
9:30	Timed Systems (I) Nicolas Markey	Games(I) Christof Löding	Security(I) Yassine Lakhnech	Verification of Probabilistic Systems (I) Dave Parker	Computational Systems Biology (I) Vincent Danos
10:00	Pause café	Pause café	Pause café	Pause café	Pause café
10:30	Timed Systems (II) Nicolas Markey	Games (II) Christof Löding	Security (II) Yassine Lakhnech	Verification of Probabilistic Systems (II) Dave Parker	Computational Systems Biology (II) Vincent Danos
11:00
11:30
12:00	Déjeuner	Déjeuner	Déjeuner	Déjeuner	Déjeuner
12:30
13:00
13:30
14:00	Verification of Hybrid Systems (I) Goran Frehse	Hierarchical Control of Discrete Event Systems José E.R. Cury	Sessions étudiants 3	Static Analysis Andreas Podelski	Verification of Infinite State Probabilistic Systems Antonin Kucera
14:30			Sessions étudiants 3
15:00			Pause café
15:30	Pause café	Pause café	Visite de Chambord	Pause café	Pause café
16:00	Verification of Hybrid Systems (II) Goran Frehse	Controller Synthesis Laurent Doyen		Binary Code Analysis Thomas W. Reps	Fin de Movep'08
16:30	Verification of Hybrid Systems (II) Goran Frehse
17:00	Pause café
17:30	Session étudiants 1	Pause café		Pause café
18:00	Session étudiants 1	Session étudiants 2		Session étudiants 4
18:00		Session étudiants 2
19:00			Banquer

31 mars 2008:
Ouverture des inscriptions

12 mai, 2008:
Date limite des soumissions

12 mai 2008:
Fin des inscriprions

23-27 juin2008:
Ecole d'été

23-27 mai2008:
Ecole d'été