9th International Conference on Quantitative Evaluation of SysTems (QEST) 2012
Workshops
Practical Applications of Stochastic Modelling (PASM '12), 17th September 2012.
Parallel and Distributed Methods in Verification (PDMC '12), 17th September 2012.
Workshop on Research and Use of Multiformalism Modeling Methods (WRUMM '12), 17th September 2012.
News
Feb 2012
Deadlines for submissions have been extended by a week.
Feb 2012
Submissions are now accepted
Jan 2012
Details of the keynote talks
Nov 2011
Download the poster
Oct 2011
Keynote speakers confirmed
Aug 2011
Web site online
Deadlines for submissions have been extended by a week.
Feb 2012
Submissions are now accepted
Jan 2012
Details of the keynote talks
Nov 2011
Download the poster
Oct 2011
Keynote speakers confirmed
Aug 2011
Web site online
Organized by
Contact
In cooperation
