Movep’08

June 23-27, 2008       Orleans, France organised and funded by Artist 

Program

MondayTuesdayWednesdayThursdayFriday
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
10:00coffee breakcoffee breakcoffee breakcoffee breakcoffee break
10:30Timed 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
12:00lunch breaklunch breaklunch breaklunch breaklunch break
14:00Verification of Hybrid Systems (I)
Goran Frehse		Hierarchical Control of Discrete Event Systems
José E.R. Cury		Student Session 3Static Analysis
Andreas Podelski		Verification of Infinite State Probabilistic Systems
Antonin Kucera
15:00coffee break

Visit Chambord Castle
15:30coffee breakcoffee breakcoffee breakcoffee break
16:00Verification of Hybrid Systems (II)
Goran Frehse		Controller Synthesis
Laurent Doyen		Binary Code Analysis
Thomas W. Reps		end of Movep’08
17:00coffee break
Student Session 1
17:30coffee breakcoffee break
18:00Student Session 2Student Session 4
19:00 School dinner

(c) Artist2 Consortium, All Rights Reserved - 2006
Réalisation Axome - Création de sites Internet