CONFEST 2025

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. Venue: Conference Center at Aarhus University. The address is Fredrik Nielsens Vej 2-4, 8000 Aarhus C