qest logo
9th International Conference on Quantitative Evaluation of SysTems (QEST) 2012


  • Abstract submission by 12 March 2012 27 February, 2012
  • Paper and tool submission by 12 March 2012 5 March, 2012 (23:59 AOE or 11:59pm AOE)
  • Author notification by 6 May, 2012
Selected papers will appear in a special issue of Elsevier Performance Evaluation journal.

Submissions must be in English, IEEE double-column format, and must indicate the above paper type. Word and Latex conference templates are available from the IEEE website. Authors preparing their manuscript with Latex should follow the bare_conf.tex example template. Submitted papers should not exceed 11 pages (2 pages for tool demonstrations). Additional material for the aid of the reviewers (e.g., proofs) can be sent in a clearly marked appendix. Papers must be unpublished and not be submitted for publication elsewhere. PC members, except program co-chairs, may submit papers. To submit your paper go to the Easychair website. All accepted papers will be up to 10 pages in length (including appendices), with the option to purchase an extra page for the price of USD 100 at the time of registration. Tools papers will be 2 pages in length with no option to purchase extra pages.

All accepted papers (including tool demonstrations) must be presented at the conference by one of the authors. A best-paper award will be presented at the conference.

There will be one day of tutorials at the start of the conference. Tutorial proposals (up to 4 pages IEEE double-column format) should be sent to the Tutorial Chair (Gábor Horváth, e-mail: by the same deadline of papers and tools.

Tool presentations
Tool presentation sessions will be arranged to present and demonstrate tools relevant to conference topics. Accepted tool descriptions will appear in the conference proceedings.


Organized by

Imperial College London

In cooperation