|
===================================== CONFEST 2025: Call for Participation https://conferences.au.dk/confest2025 ===================================== CONCUR, FMICS, QEST+FORMATS, and six co-located workshops August 25-30, 2025, Aarhus, Denmark - 8 invited talks - 75 conference paper presentations - 6 co-located workshops The early registration deadline is July 26, 2025. Overview ======== We are excited to invite you to register for CONFEST 2025, which will host three major international conferences: CONCUR 2025: 36th International Conference on Concurrency Theory FMICS 2025: 30th International Conference on Formal Methods for Industrial Critical Systems QEST+FORMATS 2025: Joint International Conference on - Quantitative Evaluation of Systems and
- Formal Modeling and Analysis of Timed Systems These events will take place in Aarhus, Denmark, from August 25 to August 30, 2025, offering a fantastic opportunity to follow the latest advancements, and network with researchers and practitioners in these fields. For more information about the conferences and the venue, please visit: https://conferences.au.dk/confest2025 Registration ============ The Early Registration deadline is July 26, 2025. https://conferences.au.dk/confest2025/registration
Some hotel booking codes are available here: https://conferences.au.dk/confest2025/hotel-accommodations Other accommodation options are available here: https://www.visitaarhus.com/aarhus/where-sleep/hotels
Invited Speakers ================ Alessandro Abate, U of Oxford, UK Title: Neural synthesis for verification and control of stochastic systems - certificates and abstractions Christel Baier, TU Dresden, Germany Title: Linear Temporal Logic with Standpoint Modalities Lu Feng, University of Virginia, USA Title: Runtime Safety for Learning-Enabled Cyber-Physical Systems: From Predictive Monitoring to Adaptive Shielding Arnd Hartmanns, U of Twente, NL Title: Sound and Modest Approaches to Quantitative Model Checking from Sea to Space Chris Heunen, U of Edinburgh, UK Title: Towards categorical quantum concurrency theory Christoph Matheja, U of Oldenburg, Germany and DTU Denmark Title: Automating Proof Rules for Probabilistic Programs Ina Schieferdecker, Independent Researcher, Germany Title: Empowering Testing with AI - Navigating the growing field of research on AI for software testing Jiri Srba, Aalborg University, Denmark Title: On-the-Fly Verification: Advancements in Dependency Graphs Workshops ========= BMQL 2025 - 1st IW on Behavioural Metrics and Quantitative Logics Express/SOS 2025 - combined IW on Expressiveness in Concurrency and Structural Operational Semantics FMQC 2025 - IW on Formal Methods in Quantum Computing
PFQA 2025 - Colloquium on Principles of Formal Quantitative Analysis Radical 2025 - 4th IW on Recent Advances in Concurrency and Logic SynCoP 2025 - 10th IW on Synthesis of Complex Parameters We hope to meet you in Aarhus this summer! Sincerely, CONFEST Organization Committee -- Jaco van de Pol, Professor of Computer Science,
Aarhus University (DK) & University of Twente (NL) You received this message because you are subscribed to the Google Groups "tlaplus" group. To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx. To view this discussion visit https://groups.google.com/d/msgid/tlaplus/AM7PR01MB6625C1024A98EB800CE26A55F67CA%40AM7PR01MB6625.eurprd01.prod.exchangelabs.com. |