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>
- Subject: [PN-world] CONFEST 2025 (CONCUR, FMICS, QEST+FORMATS): Call for Participation
- Date: Fri, 20 Jun 2025 12:53:21 +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=HkAvXnYso4oBwQ8iqbmbH78mEafIeEOegr0qPw0lJQQ=; b=k1AbFMcc4VpxcRD3Lo+D6kSDv4DFo6FCJ7xWt+mpl4pvLUdV2WOZ15uYb6LbywvoAgXXfPZiSG5oIovubtR4l6untcTnuRr1DlU0K+Nf2Xi4nOX/Vrs2PFtpRqcX83l7W17GAj8OJRVEq/6ybtxdw0ei4lIwjWmH0YyxQaFiaMiP4mkva/VZzSTZipJ9ikIHVoYdLEbfzIM+NAVnjB3xSvQKvAmYZ6czNAZN68enFrhrhvV6D3KZPPFYVaIgs7WpDz9RtwaAvPih7gmK/xfeie8P8kWhwK+MG68i1ZouLbnI5VQEGAw5oj5zDGXpvkVaUYGJdOSlKY+sYZp0PptFZw==
- Arc-seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=IiUo1LuJqreVKdPctU2Z2Q1gVieRyV866otrj24gc1IeavQXVNiLRBe2Q6Vz2xpsE+UMChzPm6zMNdzGWtOAZoel+n9j5cqrLiM+pf67Uh9oPavrs4RrAwkYJlpdnZoQFoUyww/ZRJ5WiPdwXTNtZK65LOPJCWR62gEjBIy7GAO3jTAOQJMGpGbcQECP77pFZeB5vTHfC1Pn7zx529B466zZuMY198FR2NuTez3e9oUAAQor6eG8YDDb8LGB8pXrygRTMle2k+pUdwv46EvndioHVVxuiNA17qn8TldhTC0TlUb4ia10RnwqskJq721iHhxFuG3VHDdBgf0nlIzhjw==
- Authentication-results: spool.mail.gandi.net; dkim=pass header.d=cs.au.dk header.s=selector1 header.b="gaD9v/S2"; dmarc=pass (policy=reject) header.from=cs.au.dk; spf=pass (spool.mail.gandi.net: domain of address@concealed designates 2a01:111:f403:c201::1 as permitted sender) address@concealed
|
===================================== 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)
|
- [PN-world] CONFEST 2025 (CONCUR, FMICS, QEST+FORMATS): Call for Participation, Jaco van de Pol, 06/20/2025
Archive powered by MHonArc 2.6.19+.