QEST: Quantitative Evaluation of Systems



Past:   Proceedings on DBLP

Future:  Post a CFP for 2020 or later   |   Invite the Organizers Email


All CFPs on WikiCFP

Event When Where Deadline
QEST 2019 16th International Conference on Quantitative Evaluation of SysTems
Sep 9, 2019 - Sep 12, 2019 Glasgow Apr 18, 2019 (Apr 15, 2019)
QEST 2018 QEST 2018 : 15th International Conference on Quantitative Evaluation of SysTems
Sep 4, 2018 - Sep 7, 2018 Beijing, China Apr 4, 2018 (Mar 28, 2018)
QEST 2017 14th International Conference on Quantitative Evaluation of SysTems
Sep 5, 2017 - Sep 7, 2017 Berlin Apr 9, 2017
QEST 2016 International Conference on Quantitative Evaluation of Systems
Aug 23, 2016 - Aug 25, 2016 Quebec City, Canada Mar 14, 2016 (Mar 7, 2016)
QEST 2014 Quantitative Evaluation of Systems
Sep 8, 2014 - Sep 11, 2014 Florence, Italy Mar 14, 2014 (Mar 7, 2014)
QEST 2013 10th International Conference on Quantitative Evaluation of SysTems
Aug 27, 2013 - Aug 30, 2013 Buenos Aires, Argentinia Mar 18, 2013 (Mar 11, 2013)
QEST 2012 9th International Conference on Quantitative Evaluation of SysTems
Sep 17, 2012 - Sep 20, 2012 London, UK, Imperial College Mar 5, 2012 (Feb 27, 2012)
QEST 2011 8th International Conference on Quantitative Evaluation of SysTems
Sep 5, 2011 - Sep 8, 2011 Aachen, Germany Mar 25, 2011 (Mar 18, 2011)
QEST 2010 7th International Conference on Quantitative Evaluation of SysTems
Sep 15, 2010 - Sep 19, 2010 Williamsburg, VA, USA Mar 29, 2010 (Mar 22, 2010)
QEST 2009 6th International Conference on Quantitative Evaluation of SysTems
Sep 13, 2009 - Sep 16, 2009 Budapest, Hungary Mar 23, 2009 (Mar 16, 2009)

Present CFP : 2019

Call for Papers of QEST 2019

The 16th International Conference on Quantitative Evaluation of SysTems
will be held in Glasgow, UK, on September 9 - 12, 2019.


*Conference Highlights*

General Chair
- Gethin Norman, University of Glasgow, UK

Program Co-chairs
- Dave Parker, University of Birmingham, UK
- Verena Wolf, Saarland University, Germany

*Scope and Topics*

The International Conference on Quantitative Evaluation of SysTems
(QEST) is the leading forum on quantitative evaluation and verification
of computer systems and networks. Areas of interest include quantitative
specification methods, stochastic and non-deterministic models and
metrics for performance, reliability, safety, correctness, and security.
QEST is interested in both theoretical and experimental research. QEST
welcomes a diversity of modelling formalisms, programming languages and
methodologies that incorporate quantitative aspects such as
probabilities, temporal properties and other forms of non-determinism.
This includes work on the combination of quantitative evaluation and
verification with machine learning techniques. Papers may advance
empirical, simulation and analytic methods. Of particular interest are
case studies that highlight the role of quantitative specification,
modelling and evaluation in the design of systems. Systems of interest
include computer hardware and software architectures, communication
systems, cyber-physical systems, infrastructural systems, security
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.

*Special Issue*

Extended versions of the best papers will be considered for a fast-track
publication in a Special Issue of the ACM Transactions of Modelling and
Computer Simulation (https://tomacs.acm.org/about.cfm).

*Important Dates*

Abstract submission: 15 April 2019 (extended)
Paper submission: 18 April 2019 (extended)
Author notification: 7 June 2019
Final version due: 29 June 2019
Conference: 9-12 September 2019


All accepted papers (including tool demonstrations) must be presented at
the conference by one of the authors. The QEST 2019 proceedings will be
published in the Springer LNCS series and indexed by ISI Web of Science,
Scopus, ACM Digital Library, dblp, Google Scholar. All submitted papers
will be evaluated by at least three reviewers on the basis of their
originality, technical quality, scientific or practical contribution to
the state of the art, methodology, clarity, and adequacy of references.

QEST considers five types of papers:

- Theoretical: advance our understanding, apply to non-trivial problems
and be mathematically rigorous.

- Methodological and technical: describe situations that require the
development and proposal of new analysis processes and techniques.

- Application: describes a novel application, and compares with previous

- Tools: should motivate the development of the new tools and the
formalisms they support, with a focus on the software architecture and
practical capabilities.

- Tool demonstration: describe a relevant tool, as well as its features,
evaluation, or any other information that may demonstrate the merits
of the tool.

Submissions must be prepared in LaTeX, following Springer's LNCS
Submitted papers should not exceed 16 pages (4 pages for tool
demonstrations). Papers must be unpublished and not be submitted for
publication elsewhere. Authors of tool papers (both regular and
demonstration) must make their tools and input data available to
reviewers; reproducibility of results will be taken into account during
the evaluation process, and the conference will include a demo session.
Authors should present use cases, distinctive features, and
computational/memory requirements through motivating examples.
Theoretical background need not be presented in tool demonstration
papers; substantial improvements are required for existing tools. Papers
should be submitted electronically using the EasyChair online submission
system (https://easychair.org/conferences/?conf=qest2019).

Related Resources

LREC 2020   12th Conference on Language Resources and Evaluation
MaSPECS 2020   Modeling and Simulation for Performance Evaluation of Computer-based Systems track of the 34th International ECMS Conference on Modelling and Simulation
SEFM 2020   Software Engineering and Formal Methods
Recommender Systems 2020   Data Science for Next-Generation Recommender Systems
SIMULTECH 2020   10th International Conference on Simulation and Modeling Methodologies, Technologies and Applications
SEA 2020   18th Symposium on Experimental Algorithms
SATRANH 2020   Special Issue of APPLIED SCIENCES on Static Analysis Techniques: Recent Advances and New Horizons
ENASE 2020   15th International Conference on Evaluation of Novel Approaches to Software Engineering
PerIoT 2020   Software Approaches to Improve the Performance of IoT Systems - Applied Sciences (IF 2.217)
EXPRESS/SOS 2020   Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics