QEST 2022: 19th International Conference on Quantitative Evaluation of SysTems CONFEST 2022 Warsaw, Poland, September 12-16, 2022 |
Conference website | https://www.qest.org/qest2022/ |
Submission link | https://easychair.org/conferences/?conf=qest2022 |
Abstract registration deadline | April 18, 2022 |
Submission deadline | April 25, 2022 |
Author notification | June 20, 2022 |
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. QEST 2022 is the 19th conference in the series.
Scientific areas of interest include:
- Quantitative specification methods.
- Stochastic and non-deterministic models and metrics for performance, reliability, safety, correctness, and security.
- New algorithms for the analysis or simulation of stochastic, probabilistic and non-deterministic models.
- (As a recent emphasis) application of data-driven, machine learning techniques for the quantitative evaluation and verification of systems, in particular for safety-critical applications (learning for safety, as well as safe learning).
- 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.
QEST 2022 will set up a repeatability evaluation process (details below).
QEST 2022 is open to both theoretical, experimental and applicative research. The conference welcomes a diversity of modelling formalisms, programming languages and methodologies that incorporate quantitative aspects such asprobabilities, temporal properties, rewards and forms of non-determinism. Papers may advance empirical, simulation and analytic methods, and industrially-relevant case studies.
Submissions
QEST 2022 considers three types of papers (authors will be able to specify the type of the contribution at the submission):
- THEORETICAL/METHODOLOGICAL: To advance the understanding on a topic or issue, or to describe the development and proposal of new analysis processes and techniques.
- APPLICATION: To describe a novel application and compare it with previous results.
- TOOL: To develop new tools and the formalisms they support, with a focus on the software architecture and practical implementation and use. Tool papers must be accompanied by an artifact in the Artifact Evaluation.
Paper submission can be REGULAR and SHORT: regular papers must not exceed 16 pages, excluding references, plus 4 pages for the appendix containing supporting material. Short papers should preferably be limited to 8 pages, also excluding references. Regarding TOOL papers, the conference will include the possibility of a demo session for interaction with the authors.
All submitted papers must be unpublished and not be submitted for publication elsewhere. Papers should be submitted electronically using EasyChair. Springer encourages authors to include their ORCIDs in their papers. Authorsshould consult Springer's authors' guidelines and use Springer's LaTeX templates for the preparation of their papers.
Publications
All accepted papers will be presented and discussed at the conference by one of the authors. The QEST 2022 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 orpractical contribution to the state of the art, methodology, clarity, andadequacy of references.
Artifact Evaluation
Reproducibility of experimental results is crucial to foster an atmosphere of trustworthy, open, and reusable research. To improve and reward reproducibility, QEST 2022 includes a dedicated Artifact Evaluation (AE). Submission of an artifact is mandatory for tool papers (both regular and short), and optional but encouraged for theoretical/methodological and application papers where it can support the results presented in the paper. Artifacts will be reviewed concurrently with the paper review process, and accepted papers with a successfully evaluated artifact will receive a badge to be shown on the published paper's title page.
Detailed guidelines for preparation and submission of artifacts can be found on the QEST 2022 AE web page. Exceptions to the submission guidelines may be granted by the PC chairs in cases where the tool cannot in any reasonable way be run by the AE committee.
Special Issue
A selection of the best full papers will be invited to submit an extended version of their work to a special issue in the ACM Transactions on Modelling and Computer Simulation (TOMACS). (Further details will be provided on the website.)