qest logo

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)

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

Organized by

C. Palamidessi
A. Riska
General Chair
J-P Katoen