QEST 2024 will take place in Calgary, Canada during the week of September 9-13, 2024
The International Conference on Quantitative Evaluation of SysTems (QEST) is the leading forum on evaluation and verification of computer systems and networks, through stochastic models and measurements, possibly incorporating non-deterministic behavior. Its roots lie in three formerly independent events:
Quantitative properties of interest include performance, reliability, availability, safety, security, survivability, correctness, timeliness, and efficiency. Topics of interest cover the areas of modelling formalisms and methodologies, measurements, analytical and numerical evaluation, simulation and verification, and theory of probabilistic systems, as well as case studies showing the role of quantitative evaluation in the design of systems including computer architectures, distributed and fault tolerant systems, communication systems, embedded systems, web-based systems, and safety-critical systems. Moreover, tools for supporting the practical application of research results in all the above areas are of special interest for QEST. In short, QEST aims to create a sound methodological basis for assessing and designing trustworthy computing systems and networks.
The QEST Proceedings for 2004 through 2012 are available online in the IEEE Computer Society's digital library; the QEST Proceedings for 2013 and later are available on Springer's website. In addition, the DBLP bibliography server hosts a page for QEST.
| SC Members | Until |
|---|---|
| Elected | |
| Nils Jansen | 2026 |
| Anne Remke | 2026 |
| Erika Ábrahám | 2025 |
| Andrea Marin | 2025 |
| Enrico Vicario | 2025 |
| Giuliano Casale | 2024 |
| Joost-Pieter Katoen | 2024 |
| Past General Chairs | |
| Guillermo Alberto Perez | 2027 |
| Benoît Barbot | 2026 |
| Ezio Bartocci | 2025 |
| Gethin Norman | 2024 |
| Ex Officio Member | |
| Jane Hillston |
The QEST Constitution governs the organization of the QEST community and its series of conferences.
The QEST community maintains a mailing list for announcements about QEST and for call for papers of related conferences.