Programme


Downloadable version of the programme in .odt or .pdf format.


Thursday, 24 August 2017

09:00-09:30 Opening session

09:30-10:30 Invited Lecture 1

10:30-11:00 Coffee Break

11:00-12:30 Session 1: Stochastic Model Checking / Performance Analysis

12:30-14:00 Lunch

14:00-15:00 Invited Lecture 2

15:00-15:30 Coffee Break

15:30-17:00 Session 2: Worst Case Time Analysis / Performance Analysis







Friday, 25 August 2017

09:30-10:30 Invited Lecture 3

10:30-11:00 Coffee Break

11:00-12:30 Session 3: Diagnosability Analysis / Modeling and analysis of mobile systems

12:30-14:00 Lunch

14:00-16:00 Session 4: Reachability analysis / Model transformation / Model comparison

16:00-16:30 Closing Session



Conference Cruise Diner 19h – 23h