CONFEST 2026

Liverpool, UK

CONFEST brings 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.

This umbrella event consists of three main conferences CONCUR, FMICS and QEST+FORMATS, and affiliated workshops. The 2026 edition will take place at the University of Liverpool on September 1-5, 2026.

Organisation

Daniel Hausmann (publicity)
David Purser (co-chair)
Parick Totzke (co-chair)
Shufang Zhu (workshops)

Main Conferences

CONCUR 2026, the 37th International Conference on Concurrency Theory

FMICS 2026, the 31th International Conference on Formal Methods for Industrial Critical Systems

QEST+FORMATS 2026, the joint International Conference on Quantitative Evaluation of SysTems and on Formal Modeling and Analysis of Timed Systems