Tutorials: Monday, September 27, 2004
 
09:00-10:30First part
10:30-11:00Break
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:00-15:30Break
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.