The event opens with a day of five parallel workshops, followed by three main conferences and eight invited talks, before concluding with another workshop day. The conferences within CONFEST include:

• CONCUR (~80 participants) on concurrency theory — a research tradition in Aarhus dating back to Kurt Jensen’s pioneering work on Coloured Petri Nets, and today focusing on model checking and verification of concurrent systems.

• QEST/FORMATS, addressing quantitative analysis of system properties such as performance, reliability, and timing.

• FMICS, focusing on industrial applications of formal methods.

Aarhus University researchers are also well represented in the programme, with talks and accepted papers at several of the workshops and conferences.

We thank the organisers Jaco van de Pol, Andreas Pavlogiannis, Henriette Farup, and Vibe Falkenhard, along with the many programme committee chairs and workshop organisers who made this large-scale event possible.

Explore the full programme here: https://conferences.au.dk/confest2025