The purpose of CONFEST 2025 is to bring together researchers, developers, and students in computer science, in order to advance the theory of concurrency, the study of stochastic and timed systems, and the application of formal methods to industrial systems.
CONFEST 2025 is an umbrella, hosting the three main conferences CONCUR, FMICS and QEST+FORMATS, and a number of pre- and post-conference workshops. It will be held in Aarhus, Denmark on August 25-30, 2025.
CONFEST 2025, General chairs
- Andreas Pavlogiannis, Aarhus University, Denmark
- Jaco van de Pol, Aarhus University, Denmark
Main conferences
CONCUR 2025, the 36th International Conference on Concurrency Theory
Program chairs:
- Patricia Bouyer, CNRS, Paris, France
- Jaco van de Pol, Aarhus University, Denmark
FMICS 2025, the 30th International Conference on Formal Methods for Industrial Critical Systems
Program chairs:
- Anne Remke, University of Münster, Germany
- Bernhard Steffen, Technical University of Dortmund, Germany
QEST+FORMATS, the joint International Conferences on Quantitative Evaluation of SysTems and on Formal Modeling and Analysis of Timed Systems
Program chairs:
- Pavithra Prabhakar, Kansas State University, USA
- Andrea Vandin, Max Scuola Superiore Sant'Anna Pisa, Italy
