🇨🇦 Calgary, CanadaSeptember 9-13, 2024

Call for Papers

Scope and Topics

The two flagship conferences of QEST (International Conference on Quantitative Evaluation of SysTems) and FORMATS (International Conference on Formal Modeling and Analysis of Timed Systems) are pursuing a strategic process of joining forces and sparking a new joint conference for quantitative modelling, analysis, and verification. This year, the two conferences form the QEST+FORMATS joint conference, which will be held on 9-13 September 2024 in Calgary, Canada, as part of the CONFEST 2024 umbrella conference.

The joint conference is the leading forum for the quantitative evaluation and verification of systems, which aims to promote the study of fundamental and practical aspects of systems with quantitative nature (such as probability, timing, and cost), and brings together researchers from different disciplines that share interests in the modelling, design and analysis of computational systems. Systems of interest include biological and chemical systems; computer networks; cyber-physical systems; critical infrastructures; data-driven AI systems; energy systems; hardware and software systems; industrial systems; and mobility networks. The QEST+FORMATS joint conference also aims to attract researchers interested in real-time issues in hardware design, performance analysis, real-time software, scheduling, semantics and verification of timed, hybrid and probabilistic systems.

Topics and scientific areas of interest include:

The joint QEST+FORMATS conference is open to theoretical, experimental, and applicative research and will set up an artifact evaluation process. Papers may advance the state of the art on empirical approaches, simulation methods, analysis techniques, and applications to industrially relevant case studies.

This year, QEST+FORMATS will incorporate a special session on data-driven verification and synthesis of cyber-physical systems. We encourage the submission of papers on all data-driven approaches related to the formal analysis, verification, and synthesis of cyber-physical systems, including learning techniques for safety-critical systems and safe learning of such systems.


QEST+FORMATS 2024 considers three types of papers (authors will be able to specify the type of contribution upon submission):

Research and tool papers can be regular or short:

Work-in-progress papers must not exceed 4 pages including references.

All papers must be submitted in Springer’s LNCS format and will undergo a rigorous single-blind review process. All submitted papers must be unpublished and not be submitted for publication elsewhere. Papers should be submitted electronically using EasyChair at this link.

Springer encourages authors to include their ORCIDs in their papers. Authors should consult Springer’s authors’ guidelines and use Springer’s LaTeX templates for the preparation of their papers. Submitted papers not complying with the above guidelines may be rejected without undergoing review.

The top two best papers of the conference will be selected for the QEST Award and the FORMATS Oded Maler Award.


All accepted papers will be presented and discussed at the conference by one of the authors. The QEST+FORMATS 2024 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.

Artifact Evaluation

Reproducibility of experimental results is crucial to foster an atmosphere of trustworthy, open, and reusable research. To improve and reward reproducibility, QEST+FORMATS 2024 includes a dedicated Artifact Evaluation (AE). Submission of an artifact is mandatory for tool papers (both regular and short), and optional but encouraged for research 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 are available on the conference website. 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.

There is a separate Easychair submission page for artifacts at https://easychair.org/my/conference?conf=aeqestformats2024

Special Issues

A selection of the best papers (excluding work-in-progress papers) will be invited to submit an extended version of their work to special issues in the International Journal on Software Tools for Technology Transfer (STTT) and in the Performance Evaluation (PEVA) journals.

Important Dates

Abstract submission
April 10, 2024

Paper submission
April 15, 2024

Artifact submission
April 22, 2024

Author notification
May 31, 2024

Camera ready submission
June 17, 2024

September 9-13, 2024


​​For any questions, feel free to contact the program chairs Jane Hillston (Jane.Hillston@ed.ac.uk) and Sadegh Soudjani (sadegh@mpi-sws.org).