Logic List Mailing Archive

CfR: CONFEST 2026, 1–5 September 2026, Liverpool (UK)

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-Franois 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://confest-2026.github.io/

Sincerely,
CONFEST Organization Committee

--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php