posted by user: sadegh_rk || 1327 views || tracked by 1 users: [display]

ARCH 2022 : 9th Int. Workshop on Applied Verification for Continuous and Hybrid Systems

FacebookTwitterLinkedInGoogle

Link: https://safecomp22.iks.fraunhofer.de/wp-content/uploads/2022/03/ARCH-2022-call-for-papers.pdf
 
When Sep 5, 2022 - Sep 5, 2022
Where Munich, Germany
Submission Deadline Jun 15, 2022
Notification Due Jul 31, 2022
Final Version Due Aug 31, 2022
Categories    formal methods   cyber-physical systems   verification
 

Call For Papers

Verification of continuous and hybrid systems is increasing in importance due to new cyber-physical systems that are safety- or operation-critical. This workshop addresses verification techniques for continuous and hybrid systems with a special focus on the transfer from theory to practice. Topics include, but are not limited to
• Proposals for new benchmark problems (not necessarily yet solvable)
• Tool presentations
• Tool executions and evaluations based on ARCH benchmarks
• Experience reports including open issues for industrial success
• Reports on results of our friendly competition (separate call)

Submission Guidelines Submissions consist of papers of ideally 3-8 pages (pdf) and optional files (e.g. models or traces) submitted through the ARCH’22 EasyChair web site (http://www.easychair.org/conferences/?conf=arch22). Detailed submission guidelines can be found on https://cps-vo.org/group/ARCH/submissionInstructions. Submissions receive at least 3 anonymous reviews, including one from industry and one from academia. Details on the evaluation criteria can be found at http://cps-vo.org/group/ARCH/CallForSubmissions.

Submission deadline: June 15, 2022
Notification: July 31, 2022
Final Version: August 31, 2022
Workshop: September 05, 2022
Website: http://cps-vo.org/group/ARCH

Prize
The tool with the most promising results in the ARCH competition receives a prize of 500 Euros. The winner is determined by an audience voting.

Organizers Program chairs:
Matthias Althoff, Technical University of Munich, Germany
Goran Frehse, ENSTA Paris, France
Publicity chair: Sergiy Bogomolov, Newcastle University, UK
Evaluation chair: Taylor T. Johnson, Vanderbilt University, USA

Related Resources

CPSIOT 2023   2023International Conference on Cyber Physical Systems and IoT(CPSIOT 2023)
BIOS 2023   9th International Conference on Bioinformatics & Biosciences
ADCIS 2023   2nd International Conference on Advances in Data-driven Computing and Intelligent Systems
CIOS 2023   International Conference on Cloud, IoT and Security
DAP 2023   19TH DAYS OF APPLIED PSYCHOLOGY
CCSIT 2023   13th International Conference on Computer Science and Information Technology
S.ARCH Berlin 2023   S.ARCH BERLIN The 10th International Conference on Architecture and Built Environment 04-06 April 2023
KI 2023   46th German Conference on Artificial Intelligence
IEEE COINS 2023   IEEE COINS 2023 - Berlin, Germany - July 23-25 - Hybrid (In-Person & Virtual)
ICDM 2023   International Conference on Data Mining