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) |
News
Jun 20, 2011
Registration is open.
Jun 10, 2011
Have a look a the accepted papers
Apr 22, 2011
PDF version of Call for Fast Abstracts online
Apr 15, 2011
Call for Fast Abstracts online
Mar 9, 2011
Submission deadlines extended by two weeks
Feb 1, 2011
Submission page open
Jan 2011
Web page updated, CfP online
Registration is open.
Jun 10, 2011
Have a look a the accepted papers
Apr 22, 2011
PDF version of Call for Fast Abstracts online
Apr 15, 2011
Call for Fast Abstracts online
Mar 9, 2011
Submission deadlines extended by two weeks
Feb 1, 2011
Submission page open
Jan 2011
Web page updated, CfP online
Organized by
Contact