previous movep

 

 

 
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
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
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
17:00 Pause café
17:30 Session étudiants 1 Pause café Pause café
18:00 Session étudiants 2 Session étudiants 4
18:00    
19:00     Banquer  


 
 

 

 
Important dates
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é
 
news
 
23-27 mai2008:
Ecole d'été
 
 
 
 
home About movep organisation program schedule student sessions Registration venue accomodation sponsors previous movep contact