The following tentative schedule might still be modified a bit:

Mon. 7 July Tue. 8 July Wed. 9 July Thu. 10 July Fri. 11 July
8h30-9h00 Registration & opening Welcome Coffee Welcome Coffee Welcome Coffee Welcome Coffee
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 Coffee break Coffee break Coffee break Coffee break Coffee break
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 Lunch break Lunch break Lunch break Lunch break Lunch break
13h30-15h00 Concurrent Systems
Maciej Koutny
Probabilistic Real-time Systems
Dave Parker
Student Sessions Robustness of Timed Systems
Pierre-Alain Reynier
Quantitative Games
Jean-François Raskin
15h00-15h30 Coffee break Coffee break Coffee break End of MOVEP'14
15h30-16h30 Concurrent Systems
Maciej Koutny
Runtime Verification
Ezio Bartocci
Free time Verification of Security Protocols
Stéphanie Delaune
16h30-17h00 Student Sessions
17h00-18h00 Student Sessions Student Sessions
18h00-19h00
19h30-... Social Event