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