CONFEST 2025 (CONCUR, FMICS, QEST+FORMATS): Call for Participation

42 views
Skip to first unread message

Jaco van de Pol

unread,
Jun 20, 2025, 8:53:33 AMJun 20
to Concurrency (concurrency@listserver.tue.nl.), fm...@inrialpes.fr, nwpt...@lists.ioc.ee, types...@lists.seas.upenn.edu, p...@csl.sri.com, rewr...@ens-lyon.fr, fm-annou...@lists.nasa.gov, categ...@mta.ca, hol-...@lists.sourceforge.net, idris...@googlegroups.com, lo...@math.uni-bonn.de, log...@lists.tcs.ifi.lmu.de, rewr...@trs.css.i.nagoya-u.ac.jp, coq-...@inria.fr, ga...@lists.rwth-aachen.de, theory...@cs.cmu.edu, theorem...@ai.mit.edu, tla...@googlegroups.com, ipa...@listserver.tue.nl, petri-n...@petrinet.net

=====================================

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)

 

Jaco van de Pol

unread,
Jul 16, 2025, 10:44:15 AMJul 16
to Concurrency (concurrency@listserver.tue.nl.), fm...@inrialpes.fr, nwpt...@lists.ioc.ee, types...@lists.seas.upenn.edu, p...@csl.sri.com, rewr...@ens-lyon.fr, fm-annou...@lists.nasa.gov, categ...@mta.ca, hol-...@lists.sourceforge.net, idris...@googlegroups.com, lo...@math.uni-bonn.de, log...@lists.tcs.ifi.lmu.de, rewr...@trs.css.i.nagoya-u.ac.jp, coq-...@inria.fr, ga...@lists.rwth-aachen.de, theory...@cs.cmu.edu, theorem...@ai.mit.edu, tla...@googlegroups.com, ipa...@listserver.tue.nl, petri-n...@petrinet.net, owner-...@listserv.acm.org, it-fmeuro...@lists.uu.se, las-...@lists.tu-berlin.de

==============================================================

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:

CONFEST Organization Committee,

Andreas Pavliogannis, Jaco van de Pol

Reply all
Reply to author
Forward
0 new messages