Proceedings of QEST+FORMATS 2026

Abstract

This book proudly presents the proceedings of the joint event for the 23rd International Conference on Quantitative Evaluation of SysTems (QEST 2026) and the 24th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2026). The two flagship conferences are pursuing a strategic process of joining forces and sparking a new joint conference for quantitative modeling, analysis, and verification. This year, for the third time, the two conferences formed the QEST+FORMATS joint conference, which was held on 2–4 September 2026 in Liverpool, UK, as part of the CONFEST 2026 umbrella conference.