1. 1 Two Decades of Probabilistic Verification – Reflections and Perspectives Lorentz Center Workshop Leiden, the Netherlands, 12-16 November 2007

2. 2 The Organizers: NWO/DFG Cooperation Program on “Validation of Stochastic Systems” (VOSS2)

3. 3 Tools Applications Theory

4. 4 Workshop Program Monday: Tools Tuesday: Applications Wednesday: Theory + PhD/Postdoc sessions Thursday: Theory + Excursion Friday: Winding Up Much room for discussion and collaboration!!

5. 5 Case Study: Gossip Networks Essential use of randomization Great potential for applications, e.g. in wireless sensor networks Many open issues!

6. 6 PhD/Postdoc Session PhDs/postdocs are asked to prepare 5 slides (max) to present (a selected topic from) his/her research: Research question/hypothesis Relevance Line of attack Presentation of 15 min (max) for small group followed by in depth discussion.

7. 7 Thursday: Excursion to Mauritshuis

8. 8 Mauritshuis and Probabilities?

9. 9 Some Questions 1.Should we combine tool efforts? 2.How can probabilistic model checking really make an impact? 3.Role of abstractions 4.How to handle dynamic topologies?