Movep’08

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

Program

Monday
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:00 coffee break 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		 Computational Systems Biology (II)
Vincent Danos
12:00 lunch break lunch break lunch break lunch break lunch break
14:00 Verification of Hybrid Systems (I)
Goran Frehse		 Hierarchical Control of Discrete Event Systems
José E.R. Cury		 Student Session 3 Static Analysis
Andreas Podelski		 Verification of Infinite State Probabilistic Systems
Antonin Kucera
15:00 coffee break

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

(c) Artist Consortium, All Rights Reserved - 2006, 2007, 2008, 2009

Réalisation Axome - Création de sites Internet