Anton Reinecke from STS will join the QEST + FORMATS 2025 conference in Aarhus, Denmark. QEST is the International Conference on Quantitative Evaluation of SysTems and FORMATS is the International Conference on Formal Modeling and Analysis of Timed Systems.
They are a part of the Confest 2025 conference.
