CONFEST 2026


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


Schedule
TueTuesday WedWednesday ThuThursday FriFriday SatSaturday
CONCUR Workshops
QEST+FORMATS
FMICS
Evening Reception Social Activity

Organisation

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

Daniel Hausmann (publicity, CONFEST Advocate)
David Purser (co-chair)
Patrick Totzke (co-chair)
Shufang Zhu (workshops)


News
Jan 26, 2026 Details on invited talks for FMICS published.
Jan 08, 2026 Invited speakers for CONCUR, FMICS and QEST+FORMATS finalised.
Dec 26, 2025 CfP for FMICS published.
Dec 11, 2025 CfP for QEST+FORMATS published.
Dec 11, 2025 Call for Workshops published (CfW).
Dec 08, 2025 CfP for CONCUR published.
Dec 02, 2025 The PC for CONCUR is confirmed.
Dec 01, 2025 Dates for FMICS published.
Nov 03, 2025 Mingshuai Chen and Max Tschaikowski confirmed as PC chairs for QEST+FORMATS.
Oct 10, 2025 Dates for CONCUR published.
Jul 18, 2025 CONFEST’26 Website up
Jul 13, 2025 Kristin Yvonne Rozier and Peter Gorm Larsen confirmed as PC chairs for FMICS.
Apr 14, 2025 Ana Sokolova and Patrick Totzke confirmed as PC chairs for CONCUR
Mar 02, 2025 Liverpool confirmed as host of CONFEST’26
Sponsors

The following sponsors have confirmed their support for the event.