All lectures are held at Auditorium 1, IT University, Rued Langgaards Vej 7, Copenhagen.

Monday

8:15 Reception opens in front of the Auditorium 1, ground floor in the Atrium

9:00 - 10:45 Axel Legay - Statistical Model Checking

10:45 - 11:15 Coffee break

11:15 - 13:00 Holger Hermanns - Compositional Stochastic Modeling and Verification

13:00 - 14:00 Lunch

14:00 - 15:45 Andrzej Wasowski - Compositional Design and Verification of Real-time Systems

15:45 - 16:15 Coffee break

16:15 - 18:00 Joel Ouaknine - A Survey of Classical, Real-Time, and Time-Bounded Verification

Tuesday

8:30 - 10:15 Axel Legay - Statistical Model Checking

10:15 - 10:45 Coffee break

10:45 - 12:30 Holger Hermanns - Compositional Stochastic Modeling and Verification

12:30 - 13:30 Lunch

13:30 - 14:15 Andrzej Wasowski - Compositional Design and Verification of Real-time Systems

14:15 - 15:15 Javier Esparza - Analysis of Systems with Infinite State Spaces

15:15 - 15:45 Coffee break

15:45 - 17:30 Joel Ouaknine - Decision problems for Metric Temporal Logic

18:30 Social event

Wednesday

8:30 - 10:15 Wolfgang Thomas - Infinite Games for Verification and Synthesis: Basic Theory and Quantitative Aspects

10:15 - 10:45 Coffee break

10:45 - 12:30 Jan Tretmans - Model-based Testing

12:30 - 13:15 Lunch

13:15 - 15:00 Jan Tretmans - Model-based Testing

15:00 - 15:30 Coffee break

15:30 - 17:20 Javier Esparza - Analysis of Systems with Infinite State Spaces

Thursday

8:30 - 10:15 Wolfgang Thomas - Infinite Games for Verification and Synthesis: Basic Theory and Quantitative Aspects

10:15 - 10:45 Coffee break

10:45 - 11:30 Jan Tretmans - Model-based Testing

11:30 - 12:30 Patrice Godefroid - Software Model Checking

12:30 - 13:30 Lunch

13:30 - 14:45 Patrice Godefroid - Software Model Checking

14:45 - 15:15 Coffee break

15:15 - 16:30 Patrice Godefroid - Software Model Checking

Réalisation Axome - Création de sites Internet