Lorentz Center - Two Decades of Probabilistic Verification Reflections and Perspectives from 12 Nov 2007 through 16 Nov 2007
  Current Workshop  |   Overview   Back  |   Print   |   Home   |   Search   |     

    Two Decades of Probabilistic Verification Reflections and Perspectives
    from 12 Nov 2007 through 16 Nov 2007

 
Preliminary Program

Preliminary Program

 

Monday November 12 (chairperson: Joost-Pieter Katoen)

 

9.00 - 9.20 Registration and coffee

9.20 - 9.30 Opening and introduction (Frits Vaandrager)

 

9.30 - 9.50 Tool presentations: PRISM and MRMC

9.50 - 10.30 How Fast and Fat is Your Probabilistic Model Checker

(Joost-Pieter Katoen, David Jansen, Marcel Oldenkamp, Marielle Stoelinga, Ivan Zapreev)

10.30 - 11.00 Discussion

 

11.00 - 11.30 Coffee/Tea break (Common Room)

 

11.30 - 12.30 Tool presentations VOSS tools:

Liquor, CASPA, PASS, CORAL, MOTOR, Moebius-ZDD

 

12.30 - 14.00 Lunch break (Gorlaeus canteen)

 

14.00 - 15.40 Tool presentations:

SMART, CADP, PREMO, possibly others

14.30 - 15.40 Discussion in small groups about tool related issues:

tool comparison, connections between tools,

futurea: what are the challenging issues?

 

15.40 - 16.00 Coffee/Tea Break (Common Room)

 

16.00 - 17.00 Wrap-up session

 

17.00 - 19:00 Wine and Cheese party (Common Room)

 

 

Tuesday November 13 (chairperson: Boudewijn Haverkort)

 

9.00 - 10.30 Tutorial: Gossiping - Uniform Randomness versus Emergent Behavior (Maarten van Steen)

 

10.30 - 10.50 Coffee/Tea break

 

10.50 - 12.20 Short presentations of solutions to joint case study

 

12.20 - 14.00 Lunch break (Gorlaeus canteen)

 

14.00 - 15.40 Work in subgroups on aspects related to case study

 

15.40 - 16.00 Coffee/Tea Break

 

16.00 - 16.50 Reporting session and plenary discussion

16.50 - 17.00 Short break

17.00 - 18.00 Keynote lecture: The Quest for Quantifiable Quality (Holger Hermanns)

 

 

Wednesday November 14 (chairperson: Holger Hermanns)

 

9.00 - 10.00 Keynote lecture: Leader Election for Anonymous Networks (Wan Fokkink)

10.00 - 10.30 Presentations of theoretical puzzles (Part I)

 

10.30 - 10.50 Coffee/Tea break

 

10.50 - 12.20 Presentations of theoretical puzzles (Part II)

Why are they interesting/important? Initial discussion

 

12.20 - 14.00 Lunch break (Gorlaeus canteen)

 

14.00 - 15.40 Work in subgroups during which PhD students/postdocs

get 10-15 minutes to present ongoing research,

followed by in depth discussion

 

15.40 - 16.00 Coffee/Tea Break

 

16.00 - 17.00 Reporting session (reports by junior researchers)

and plenary discussion

 

17.00 Wine and Cheese party (Common Room)

 

 

Thursday November 15 (chairperson: Christel Baier)

 

9.00 - 10.30 Tutorial: Probability and nondeterminism: a tour of probabilistic programming from abstraction techniques to the "refinement paradox" (Annabelle McIver)

 

10.30 - 10.50 Coffee/Tea break

 

10.50 - 12.20 Work in subgroups on theoretical puzzles

 

12.20 - 14.00 Lunch break (Gorlaeus canteen)

 

14.00 - 17.30 Excursion to the Royal Picture Gallery Mauritshuis in The Hague http://www.mauritshuis.nl/index.aspx?siteid=54

 

18.30 Workshop dinner in restaurant Malle Jan, Leiden

 

 

Friday November 16 (chairperson: Markus Siegle)

 

9.00 - 10.30 Tutorial: Abstraction in quantitative probabilistic model checking (Gethin Norman)

10.30 - 10.50 Coffee/Tea break

 

10.50 - 12.30 Solution of puzzels, prizes

12.30 - 13.30 Lunch (Gorlaeus canteen)

 

13.30 - 14.30 Closing Session:

What have we learned? Planning joint publications



   [Back]