previous movep

Tutorials (2h30)

Computational systems biology
Vincent Danos (University Denis Diderot, Paris, France)

Christof Löding (RWTH Aachen University, Germany)

Verification of Probabilistic Systems
Dave Parker (Computing Laboratory, University of Oxford, UK)

Verification of Hybrid Systems
Goran Frehse (Verimag, Grenoble, France)

Timed Systems
Nicolas Markey (LSV, Cachan, France)

Security (Formal methods and provable security)
Yassine Lakhnech (Verimag, Grenoble, France)


Technical talks (1h30)

Verification of infinite state probabilistic systems
Antonin Kucera (MUNI, Brno, Czech Republic)

Games for Controller Synthesis
Laurent Doyen (EPFL, Lausanne, Switzerland)

Static analysis
Andrey Rybalchenko (Institut für Informatik, University of Freiburg, Germany)
WYSINWYX: What You See Is Not What You eXecute
Thomas W. Reps (University of Wisconsin-Madison, WI, USA)

Hierarchical Control of Discrete Event Systems. An automata based approach.
José E.R. Cury (Universidade Federal de Santa Catarina, Florianopolis, Brazil)



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
June 23-27, 2008:
Summer school





About movep organisation program schedule student sessions Registration venue accomodation sponsors previous movep contact