movep'2008 ---> MOdelling and VErifying Process

Tentative program

	Monday	Tuesday	Wednesday	Thursday	Friday
9:00	Timed Systems (I) Nicolas Markey	Games(I) Christof Löding	Security(I) Yassine Lakhnech	Verification of Probabilistic Systems (I) Dave Parker	Verification of Infinite State Probabilistic Systems Antonin Kucera
9:30	Timed Systems (I) Nicolas Markey	Games(I) Christof Löding	Security(I) Yassine Lakhnech	Verification of Probabilistic Systems (I) Dave Parker
10:00	Coffee Break	Coffee Break	Coffee Break	Coffee Break
10:30	Timed Systems (II) Nicolas Markey	Games (II) Christof Löding	Security (II) Yassine Lakhnech	Verification of Probabilistic Systems (II) Dave Parker	Coffee Break
11:00					Computational Systems Biology (I) Vincent Danos
11:30					Computational Systems Biology (I) Vincent Danos
12:00	Lunch Break	Lunch Break	Lunch Break	Lunch Break	Lunch Break
12:30
13:00
13:30
14:00	Verification of Hybrid Systems (I) Goran Frehse	Hierarchical Control of Discrete Event Systems An automata based approach José E.R. Cury	Student Session 3	Static Analysis Andrey Rybalchenko	Computational Systems Biology (II) Vincent Danos
14:30			Student Session 3
15:00			Coffee Break
15:30	Coffee Break	Coffee Break	Visit of Chambord	Coffee Break	Coffee Break
16:00	Verification of Hybrid Systems (II) Goran Frehse	Games for Controller Synthesis Laurent Doyen		WYSINWYX: What You See Is Not What You eXecuteCode Thomas W. Reps	End of Movep'08
16:30	Verification of Hybrid Systems (II) Goran Frehse
17:00	Coffee Break
17:30	Student Session 1	Coffee Break		Coffee Break
18:00	Student Session 1	Student Session 2		Student Session 4
18:00		Student Session 2
19:00			School Dinner

March 31, 2008:
Opening of registraton

May 12, 2008:
Submission deadline

May 12 , 2008:
End of registration

June 23-27, 2008:
Summer school