Subject: Animation and exchanges in the Petri Nets community
List archive
- From: Jaco van de Pol <address@concealed>
- To: "Concurrency (address@concealed.)" <address@concealed>, "address@concealed" <address@concealed>, "address@concealed" <address@concealed>, "address@concealed" <address@concealed>, "address@concealed" <address@concealed>, "address@concealed" <address@concealed>, "address@concealed" <address@concealed>, "address@concealed" <address@concealed>, "address@concealed" <address@concealed>, "address@concealed" <address@concealed>, "address@concealed" <address@concealed>, "address@concealed" <address@concealed>, "address@concealed" <address@concealed>, "address@concealed" <address@concealed>, "address@concealed" <address@concealed>, "address@concealed" <address@concealed>, "address@concealed" <address@concealed>, "address@concealed" <address@concealed>, "address@concealed" <address@concealed>, "address@concealed" <address@concealed>, "address@concealed" <address@concealed>, "address@concealed" <address@concealed>, "address@concealed" <address@concealed>
- Subject: [PN-world] CONFEST 2025 - CONCUR, FMICS, QEST+FORMATS - Registration Deadline
- Date: Wed, 16 Jul 2025 14:44:07 +0000
- Accept-language: en-US, en-GB
- Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=cs.au.dk; dmarc=pass action=none header.from=cs.au.dk; dkim=pass header.d=cs.au.dk; arc=none
- Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector10001; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=QZk8KahapAjXN8yX/4R4J3yerxla82C5b2pndzzkOsc=; b=nW2IVlXgSGMVrftkKnKku7FJT0j5NNlBIyUnJCBWh3lR3kW2ASTRsS8koIxNPtli64SWXUl+RAbRpaaAATLMiTh+ZWquXIcaPPWJpA2TGxS7EDiBQ5fyQrHu2sW5rlaKd9LCRGQm6squ93ePlNiM3a0SI9I50a02ymsXWnLid+4BtbyTP0yiYBAWUUsCtbdb8dEGUulOASrxxoRolcaUQY33+lbtNwaYTqd9MgkgNY1eKTP1/WXKPTuaiiW7ka9y7BxXLfEZxiTzzOT8yU8Zwt8+SWMz1rCSc6Qv6r9Q170PiyFl2bZvcHxLGSWVEXp84/dh0p9YTovXS8LJBVtjew==
- Arc-seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=Vb2rFkl9+8DuonBmLG1qNAItzRZp5qP4PjrApHhipFBXj3rfowiFQQp3qKZBN/mJKzSoRLv5ulKKojHCXudxOOeRtGi0zQGg/W9uqaMvn6pTLxE2t/vky07+Ua0kw5CwrHaA950l2u9/LIVFuF7F7MYqZ6jz1NgBSIoc6eXs+Sqzms0xo8UGrBUuCA0APJ5NRQal5KksgJo08T5BHy8vcQjFdnVmQsNdyQe7r0H6Nb7oMR4nSmv+ohfL7HsmlaeB4NO9lH3T4AHp/1YQQoG0JKzFIPSNkISO8oklY112QfTm3TTfSd9CZPt6Hfz9xF7UhyVHu5WYgj6YNMe5aLzBYQ==
- Authentication-results: spool.mail.gandi.net; dkim=pass header.d=cs.au.dk header.s=selector2 header.b=Rj1LzK6e; dmarc=pass (policy=reject) header.from=cs.au.dk; spf=pass (spool.mail.gandi.net: domain of address@concealed designates 2a01:111:f403:c207::3 as permitted sender) address@concealed; arc=pass ("microsoft.com:s=arcselector10001:i=1")
|
============================================================== 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 |
- [PN-world] CONFEST 2025 - CONCUR, FMICS, QEST+FORMATS - Registration Deadline, Jaco van de Pol, 07/16/2025
Archive powered by MHonArc 2.6.19+.