QEST+FORMATS 2025 will take place in Aarhus, Denmark during the week of August 25-30, 2025.

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:

• the International Conference on Modeling Techniques and Tools for Computer Performance Evaluation (TOOLS),
• the International Workshop on Petri Nets and Performance Models (PNPM),
• the Joint International Workshop on Process Algebras and Performance Modeling and Probabilistic Methods In Verification (PAPM-ProbMIV)

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.

The QEST Constitution governs the organization of the QEST community and its series of conferences.

• QEST+FORMATS 2024, Calgary, Canada
• QEST 2023, Antwerp, Belgium
• QEST 2022, Warsaw, Poland
• QEST 2021, Paris, France (virtual)
• QEST 2020, Vienna, Austria (virtual)
• QEST 2019, Glasgow, UK
• QEST 2018, Beijing, China
• QEST 2017, Berlin, Germany
• QEST 2016, Québec City, Canada
• QEST 2015, Madrid, Spain
• QEST 2014, Florence, Italy
• QEST 2013, Buenos Aires, Argentina
• QEST 2012, London, UK
• QEST 2011, Aachen, Germany
• QEST 2010, Williamsburg, Virginia, USA
• QEST 2009, Budapest, Hungary
• QEST 2008, Saint Malo, France
• QEST 2007, Edinburgh, Scotland
• QEST 2006, Riverside, California, USA
• QEST 2005, Torino, Italy
• QEST 2004, Enschede, The Netherlands

• 2024: Jane Hillston & Sadegh Soudjani
  
• 2023: Nils Jansen & Mirco Tribastone
  
• 2022: Erika Ábrahám & Marco Paolieri
  
• 2021: Alessandro Abate & Andrea Marin
• 2020: Anne Remke, Marco Gribaudo, & David N.Jansen
• 2019: David Parker & Verena Wolf
• 2018: András Horváth & Annabelle McIver
• 2017: Nathalie Bertrand & Luca Bortolussi
• 2016: Gul Agha & Benny Van Houdt
• 2015: Javier Campos & Boudewijn Haverkort
• 2014: Gethin Norman & William H. Sanders
• 2013: Kaustubh Joshi, Markus Siegle, & Mariëlle Stoelinga
• 2012: Giuliano Casale, Lucy Cherkasova, & Holger Hermanns
• 2011: Catuscia Palamidessi & Alma Riska
• 2010: Gianfranco Ciardo & Roberto Segala
• 2009: Michael Huth & David Nicol
• 2008: Susanna Donatelli & Prakash Panangaden
• 2007: Mor Harchol-Balter, Marta Kwiatkowska, & Miklos Telek
• 2006: Pedro D'Argenio, Andrew Miner, & Gerardo Rubino
• 2005: Christel Baier, Giovanni Chiola, & Evgenia Smirni
• 2004: Giuliana Franceschinis, Joost-Pieter Katoen, & Murray Woodside

• Alessandro Abate, 2015-2020
• Gianfranco Balbo, 2004-2010
• Nathalie Bertrand, 2013-2015
• Andrea Bobbio, 2004
• Luca Bortolussi, 2014-2016, 2018-2020
• Steve Bruell, 2004
• Peter Buchholz, 2004-2005, 2012-2014, 2021-2023
• Javier Campos, 2016-2020
• Giuliano Casale, 2022-2024
• Gianfranco Ciardo, 2004, 2007-2011
• Pedro D'Argenio, 2005-2007, 2010-2012, 2014-2018
• Josée Desharnais, 2017-2019
• Susanna Donatelli, 2004, 2006-2008, 2011-2013
• Giuliana Franceschinis, 2004
• Roberto Gorrieri, 2004
• Günter Haring, 2004
• Peter Harrison, 2004
• Boudewijn Haverkort, 2004-2012, 2014-2016
• Holger Hermanns, 2007-2010, 2013-2015
• Jane Hillston, 2004-2006, 2008-2012, 2014-2020
• András Horváth, 2016-2018
• Ravi K. Iyer, 2004
• Joost-Pieter Katoen, 2004-2007, 2009-2024
• Jorge Júlvez, 2021-2023
• Peter Kemper, 2004, 2007-2009, 2012-2015
• William Knottenbelt, 2008-2010, 2013-2017
• Marta Kwiatkowska, 2004-2010
• Rupak Majumdar, 2019-2021
• Raymond Marie, 2004-2005
• Andrea Marin, 2017-2019
• Annabelle McIver, 2019-2021
• Andrew S. Miner, 2011-2013
• Gethin Norman, 2012-2014, 2016-2018, 2020-2024
• Prakash Panangaden, 2004
• Ramon Puigjaner, 2004
• Anne Remke, 2015-2017, 2019-2022
• Gerardo Rubino, 2009-2013
• William H. Sanders, 2004-2011
• Roberto Segala, 2005-2007
• Manuel Silva, 2005-2006
• Evgenia Smirni, 2006-2008, 2010-2012
• William Stewart, 2004
• Miklós Telek, 2010-2014
• Kishor Trivedi, 2004
• Enrico Vicario, 2015-2020
• Katinka Wolter, 2017-2022
• C. Murray Woodside, 2004
• Lijun Zhang, 2019-2023

The QEST community maintains a mailing list for announcements about QEST and for call for papers of related conferences.

• To post a message, write to: announce@qest.org. Subscription is not required to post; the mailing list is moderated.
• To subscribe, write an email to qest-announce-group+subscribe@unifi.it
• To unsubscribe, write an email to qest-announce-group+unsubscribe@unifi.it
• In case of technical problems with the mailing list, write to: webmaster@qest.org