CONFEST 2026 Call for Participation
Dear Colleagues,
We are excited to invite you to register for CONFEST 2026, which will host three major international conferences:
- CONCUR 2026, the 37th International Conference on Concurrency Theory
- QEST+FORMATS 2026, the 3rd joint International Conference on Quantitative Evaluation of SysTems and on Formal Modeling and Analysis of Timed Systems
- FMICS 2026, the 31st International Conference on Formal Methods for Industrial Critical Systems
These events will take place in Liverpool, UK, from September 1 to September 5.
Registration
The Early Registration deadline is July 31, 2026: https://confest-2026.github.io/registration/
Information on accommodation, including on-campus accommodation and conference hotel rates: https://confest-2026.github.io/local/accommodation
The workshops Express/SOS, SNR, and YR-Concur are still accepting submissions: https://expresssos.github.io/conf/2026 https://confest-2026.github.io/workshops/snr/ https://confest-2026.github.io/workshops/yr-concur/
Keynotes
- Jade Alglave, University College London, UK
- Julia Badger, NASA Johnson Space Center, USA
- Ezio Bartocci, TU Wien, Vienna, Austria
- Ichiro Hasuo, National Institute of Informatics (NII), Tokyo, Japan
- Jane Hillston, University of Edinburgh, UK
- Kim G. Larsen, Aalborg University, Denmark
- Colin O’Halloran, University of York, UK; D-RiSQ Ltd, UK
- Jean-François Raskin, Université Libre de Bruxelles, Belgium
- Qiyi Tang, University of Liverpool, UK
Workshops
- EXPRESS/SOS 2026: 33rd International Workshop on Expressiveness in Concurrency and 23rd Workshop on Structural Operational Semantics
- SNR 2026: Workshop on Symbolic and Numerical Reasoning about games
- TRENDS 2026: 14th IFIP WG 1.8 Workshop on Trends in Concurrency Theory
- YR-Concur 2026: 12th Young Researchers Workshop on Concurrency Theory
For more information about the conferences and the venue, please visit:
https://confest-2026.github.io/
Sincerely, CONFEST Organization Committee