L'emploi du temps suivant peut encore être sujet à modifications :

Lun. 7 juillet Mar. 8 juillet Mer. 9 juillet Jeu. 10 juillet Ven. 11 juillet
8h30-9h00 Accueil & ouverture Café d'accueil Café d'accueil Café d'accueil Café d'accueil
9h00-10h30 Logic & Verification
Joost-Pieter Katoen
Probabilistic Systems
Holger Hermanns
Timed Systems
Patricia Bouyer
Hybrid Systems
Marco Faella
Games & Synthesis
Sven Schewe
10h30-11h00 Pause café Pause café Pause café Pause café Pause café
11h00-12h00 Logic & Verification
Joost-Pieter Katoen
Probabilistic Systems
Holger Hermanns
Timed Systems
Patricia Bouyer
Hybrid Systems
Marco Faella
Games & Synthesis
Sven Schewe
12h00-13h30 Pause déjeuner Pause déjeuner Pause déjeuner Pause déjeuner Pause déjeuner
13h30-15h00 Concurrent Systems
Maciej Koutny
Probabilistic Real-time Systems
Dave Parker
Sessions doctorants Robustness of Timed Systems
Pierre-Alain Reynier
Quantitative Games
Jean-François Raskin
15h00-15h30 Pause café Pause café Pause café Fin de MOVEP'14
15h30-16h30 Concurrent Systems
Maciej Koutny
Runtime Verification
Ezio Bartocci
Temps libre Verification of Security Protocols
Stéphanie Delaune
16h30-17h00 Sessions doctorants
17h00-18h00 Sessions doctorants Sessions doctorants
18h00-19h00
19h30-... Dîner de gala