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. 

  • Conference Center
    Aarhus University
    Fredrik Nielsens Vej 2-4
    8000 Aarhus C
  • 25 - 30 August 2025
Learn more and sign up

CONFEST 2025 is an umbrella, hosting the three main conferences CONCUR, FMICS and QEST+FORMATS, and a number of pre- and post-conference workshops.

 

CONFEST 2025, General chairs

  • Andreas Pavlogiannis, Aarhus University, Denmark
  • Jaco van de Pol, Aarhus University, Denmark

 

Invited Speakers

  • Alessandro Abate, U of Oxford, UK (QEST+FORMATS)
  • Christel Baier, TU Dresden, Germany (CONCUR)
  • Lu Feng, University of Virginia, USA (QEST+FORMATS)
  • Arnd Hartmanns, U of Twente, NL (FMICS)
  • Chris Heunen, U of Edinburgh, UK (CONCUR)
  • Christoph Matheja, U of Oldenburg, Germany and DTU Denmark (QEST+FORMATS)
  • Ina Schieferdecker, Independent Researcher, Germany (FMICS)
  • Jiri Srba, Aalborg University, Denmark (CONCUR)

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 IC 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 IC on Quantitative Evaluation of SysTems and on Formal Modeling and Analysis of Timed Systems

Program chairs:

  • Pavithra Prabhakar, Kansas State University, USA
  • Andrea Vandin, Scuola Superiore Sant’Anna Pisa, Italy; and DTU, Technical University of Denmark

Privacy policy

© 2025 All Rights Reserved