| Abstract submission: | 21 March 2016 |
| Paper and tool submission: | 28 March 2016 (anywhere on the planet) |
| Author notification: | 10 May 2016 |
| Final version due: | 3 June 2016 |
| Conference: | 23-25 August 2016 |
QEST is the leading forum on quantitative evaluation and verification of computer systems and networks. Areas of interest include quantitative specification methods, stochastic models, and metrics for performance, reliability, safety, correctness, and security. QEST is interested in both theoretical and experimental research. QEST welcomes a diversity of modeling formalisms, programming languages and methodologies that incorporate quantitative aspects such as probabilities, approximations and other quantitative aspects. Papers may advance empirical, simulation and analytic methods. Of particular interest are case studies that highlight the role of quantitative specification, modeling and evaluation in the design of systems. Systems of interest include computer hardware and software architectures, communication systems, cyberphysical systems, infrastructural systems, and biological systems. Papers that describe novel tools to support the practical application of research results in all of the above areas are also welcome.
PEVA SPECIAL ISSUE: A selection of the best papers presented at QEST 2016 will be invited to submit an extended version of their paper for a Special Issue that will appear in the journal Performance Evaluation.
Submissions describing original research in theory, methodology and techniques, application, or tools are invited. In addition, Tool Demonstration may be submitted as short 4 page papers. Submitted papers will be evaluated by at least three reviewers on the basis of originality, technical quality, scientific or practical contribution to the state of the art, methodology, clarity, and adequacy of references.
Submissions must be in English, Springer LNCS format. Submitted papers should not exceed 16 pages (4 pages for tool demonstrations). Additional material for the aid of the reviewers (e.g., proofs) may be included in an appendix. Papers must be unpublished and not be submitted for publication elsewhere. Papers should be submitted electronically using the EasyChair online submission system.
All accepted papers (including tool demonstrations) must be presented at the conference by one of the authors. The QEST 2016 proceedings will be published by Springer in the LNCS Series.