<div dir="ltr"><div class="gmail_default" style="font-family:monospace">========================================</div><div class="gmail_default" style="font-family:monospace">CONFEST 2025: 1st Call for Participation<br><a href="https://urldefense.com/v3/__https://conferences.au.dk/confest2025__;!!IBzWLUs!XJnBvoHLrbZr-SsXg0Zcr3Da39HTWEBjN4DVYhHwIBgwmOaJKnt0WLVJDICCwQWaDagxVRL22FG-OXZfshzBlrn_aF3aJkN7$">https://conferences.au.dk/confest2025</a><br>========================================<br><br>CONCUR, FMICS, QEST+FORMATS, and six co-located workshops<br>August 25-30, 2025, Aarhus, Denmark<br><br>- 8 invited talks<br>- 75 conference paper presentations<br>- 6 co-located workshops<br><br>The early registration deadline is July 25, 2025.<br><br>Overview<br>========<br><br>We are excited to invite you to register for CONFEST 2025, which will<br>host three major international conferences:<br><br>CONCUR 2025: 36th International Conference on Concurrency Theory</div><div class="gmail_default" style="font-family:monospace"><br>FMICS 2025: 30th International Conference on Formal Methods for Industrial Critical Systems</div><div class="gmail_default" style="font-family:monospace"><br>QEST+FORMATS 2025: Joint International Conference on<br>- Quantitative Evaluation of Systems and<br>- Formal Modeling and Analysis of Timed Systems<br><br>These events will take place in Aarhus, Denmark, from August 25 to </div><div class="gmail_default" style="font-family:monospace">August 30, offering a fantastic opportunity to follow the latest</div><div class="gmail_default" style="font-family:monospace">advancements, and network with researchers and practitioners in </div><div class="gmail_default" style="font-family:monospace">these fields.<br><br>For more information about the conferences and the venue, please visit:<br><br><a href="https://urldefense.com/v3/__https://conferences.au.dk/confest2025__;!!IBzWLUs!XJnBvoHLrbZr-SsXg0Zcr3Da39HTWEBjN4DVYhHwIBgwmOaJKnt0WLVJDICCwQWaDagxVRL22FG-OXZfshzBlrn_aF3aJkN7$">https://conferences.au.dk/confest2025</a><br><br><br>Registration<br>============<br><br>The Early Registration deadline is July 25, 2025.<br><a href="https://urldefense.com/v3/__https://conferences.au.dk/confest2025/registration__;!!IBzWLUs!XJnBvoHLrbZr-SsXg0Zcr3Da39HTWEBjN4DVYhHwIBgwmOaJKnt0WLVJDICCwQWaDagxVRL22FG-OXZfshzBlrn_aJkUmPT9$">https://conferences.au.dk/confest2025/registration</a><br><br>Some hotel booking codes are available here:<br><a href="https://urldefense.com/v3/__https://conferences.au.dk/confest2025/hotel-accommodations__;!!IBzWLUs!XJnBvoHLrbZr-SsXg0Zcr3Da39HTWEBjN4DVYhHwIBgwmOaJKnt0WLVJDICCwQWaDagxVRL22FG-OXZfshzBlrn_aICFOAc4$">https://conferences.au.dk/confest2025/hotel-accommodations</a><br><br>Other accommodation options are available here:<br><a href="https://urldefense.com/v3/__https://www.visitaarhus.com/aarhus/where-sleep/hotels__;!!IBzWLUs!XJnBvoHLrbZr-SsXg0Zcr3Da39HTWEBjN4DVYhHwIBgwmOaJKnt0WLVJDICCwQWaDagxVRL22FG-OXZfshzBlrn_aDq1PbvE$">https://www.visitaarhus.com/aarhus/where-sleep/hotels</a><br><br><br>Invited Speakers<br>================<br><br>Alessandro Abate, U of Oxford, UK<br>Title: Neural synthesis for verification and control of stochastic systems - certificates and abstractions<br><br>Christel Baier, TU Dresden, Germany<br>Title: Linear Temporal Logic with Standpoint Modalities<br><br>Lu Feng, University of Virginia, USA<br>Title: Runtime Safety for Learning-Enabled Cyber-Physical Systems: From Predictive Monitoring to Adaptive Shielding<br><br>Arnd Hartmanns, U of Twente, NL<br>Title: Sound and Modest Approaches to Quantitative Model Checking from Sea to Space<br><br>Chris Heunen, U of Edinburgh, UK<br>Title: Towards categorical quantum concurrency theory<br><br>Christoph Matheja, U of Oldenburg, Germany and DTU Denmark<br>Title: Automating Proof Rules for Probabilistic Programs<br><br>Ina Schieferdecker, Independent Researcher, Germany<br>Title: Empowering Testing with AI - Navigating the growing field of research on AI for software testing<br><br>Jiri Srba, Aalborg University, Denmark<br>Title: On-the-Fly Verification: Advancements in Dependency Graphs<br><br><br>Workshops<br>=========<br><br>BMQL 2025 - 1st IW on Behavioural Metrics and Quantitative Logics<br>Express/SOS 2025 - combined IW on Expressiveness in Concurrency and Structural Operational Semantics</div><div class="gmail_default" style="font-family:monospace"><br>FMQC 2025 - IW on Formal Methods in Quantum Computing<br><br></div><div class="gmail_default" style="font-family:monospace">PFQA 2025 - Colloquium on Principles of Formal Quantitative Analysis<br><br></div><div class="gmail_default" style="font-family:monospace">Radical 2025 -  4th IW on Recent Advances in Concurrency and Logic<br><br></div><div class="gmail_default" style="font-family:monospace">SynCoP 2025 - 10th IW on Synthesis of Complex Parameters<br><br><br>We hope to meet you in Aarhus this summer!<br><br>Sincerely,<br>CONFEST Organization Committee</div><div class="gmail_default" style="font-family:monospace"><br></div></div>