previous movep

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
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
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
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
17:00 Coffee Break
17:30 Student Session 1 Coffee Break Coffee Break
18:00 Student Session 2 Student Session 4
18:00    
19:00     School Dinner  


 
 

 

 
Important dates
March 31, 2008:
Opening of registraton
May 12, 2008:
Submission deadline
May 12 , 2008:
End of registration
June 23-27, 2008:
Summer school
 
news
 
June 23-27, 2008:
Summer school
 
 
 
 
home About movep organisation program schedule student sessions Registration venue accomodation sponsors previous movep contact