previous movep

Tutoriaux (2h30)

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

Games
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)

 

Conférences techniques (1h30)

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

Controller Synthesis
Laurent Doyen (EPFL, Lausanne, Switzerland)

Static analysis
Andreas Podelski (Institut für Informatik, University of Freiburg, Germany)
Binary code analysis
Thomas W. Reps (University of Wisconsin-Madison, WI, USA)

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

 

 

 
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