Tutorials: Monday, September 27, 2004
09:00-10:30First part
11:00-12:30Second part
T1: Software performance models T2: Quantitative program analysis for security T3: Structured analysis of Markov chains
12:30-13:30 Lunch
13:30-15:00First part
15:30-17:00Second part
T4: Timed models T5: Stochastic games

Unfortunately, this tutorial is cancelled!

T6: Probabilistic model checking and Random neural nets
  Each tutorial includes a coffee break and access to the lunch.
Web Maintenance Person.