[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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://urldefense.com/v3/__https://confest-2026.github.io/registration/__;!!IBzWLUs!SNvJmfF5qTMl-z9L3RNAbqeUKbY_FHM_vPTMfc-xob_n90WiHnTumGZi6_JhyccBdClPNjvK84xaPb0s_BUeTNxANdMJEEhnLF3Kc4Ir$
Information on accommodation, including on-campus accommodation and conference
hotel rates:
https://urldefense.com/v3/__https://confest-2026.github.io/local/accommodation__;!!IBzWLUs!SNvJmfF5qTMl-z9L3RNAbqeUKbY_FHM_vPTMfc-xob_n90WiHnTumGZi6_JhyccBdClPNjvK84xaPb0s_BUeTNxANdMJEEhnLBOJ3LcB$
The workshops Express/SOS, SNR, and YR-Concur are still accepting submissions:
https://urldefense.com/v3/__https://expresssos.github.io/conf/2026__;!!IBzWLUs!SNvJmfF5qTMl-z9L3RNAbqeUKbY_FHM_vPTMfc-xob_n90WiHnTumGZi6_JhyccBdClPNjvK84xaPb0s_BUeTNxANdMJEEhnLCp-WXUL$
https://urldefense.com/v3/__https://confest-2026.github.io/workshops/snr/__;!!IBzWLUs!SNvJmfF5qTMl-z9L3RNAbqeUKbY_FHM_vPTMfc-xob_n90WiHnTumGZi6_JhyccBdClPNjvK84xaPb0s_BUeTNxANdMJEEhnLMAQYf7W$
https://urldefense.com/v3/__https://confest-2026.github.io/workshops/yr-concur/__;!!IBzWLUs!SNvJmfF5qTMl-z9L3RNAbqeUKbY_FHM_vPTMfc-xob_n90WiHnTumGZi6_JhyccBdClPNjvK84xaPb0s_BUeTNxANdMJEEhnLM26WWUs$
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
RADICAL 2026: 5th International Workshop on Recent Advances in Concurrency and
Logic
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://urldefense.com/v3/__https://confest-2026.github.io/__;!!IBzWLUs!SNvJmfF5qTMl-z9L3RNAbqeUKbY_FHM_vPTMfc-xob_n90WiHnTumGZi6_JhyccBdClPNjvK84xaPb0s_BUeTNxANdMJEEhnLIQDrz_D$
Sincerely,
CONFEST Organization Committee
