CONFEST 2026

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 on the main campus of the University of Liverpool, on September 1-5, 2026.

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

Organisation

CONFEST 2026 is organised by the School of Computer Science and Informatics at the University of Liverpool.

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

News