==============================================================
CONFEST 2025: 2nd Call for Participation
Early Registration Deadline approaching: *** July 25, 2025 ***
https://conferences.au.dk/confest2025/registration
==============================================================
CONFEST 2025 is an umbrella conference, held from August 25-30, 2025 in Aarhus,
Denmark
- 3 main conferences: CONCUR, FMICS, QEST+FORMATS
- with 8 invited talks and 75 conference paper presentations
- 6 co-located workshops: BMQL, EXPRESS/SOS, FMQC, PFQA, RADICAL, SynCoP
Visit the most happy city in the world! https://happy-city-index.com/Aarhus/
The early registration deadline is July 25, 2025.
Overview
========
We are excited to invite you to register for CONFEST 2025, which is an umbrella
conference,
hosting three major international conferences and six workshops:
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,
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 25, 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!
CONFEST Organization Committee,
Andreas Pavliogannis, Jaco van de Pol
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
