Tutorials
The following tutorials will be offered at QEST 2011. All tutorial titles are tentative, and abstracts will be added soon.
Numerical analysis of Continuous-Time Markov Decision Processes
 | Peter Buchholz (University of Dortmund, Germany) |
Stochastic Games
 | Krishnendu Chatterjee (IST Austria, Vienna, Austria) |
Infinite-State Probabilistic Systems
 | Kousha Etessami (LFCS University of Edinburgh, UK) |
Quantitative Information Flow
 | Boris Köpf (IMDEA Software, Madrid, Spain) |
Security and Trust Assessment
 | Aad van Moorsel (Newcastle University, UK) |
Stochastic Dynamics in Systems Biology
 | Verena Wolf (Saarland University, Germany) |