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 |
Summary |
ARCH 2022 : 9th Int. Workshop on Applied Verification for Continuous and Hybrid Systems will take place in Munich, Germany. It’s a 1 day event starting on Sep 5, 2022 (Monday) and will be winded up on Sep 5, 2022 (Monday). ARCH 2022 falls under the following areas: FORMAL METHODS, CYBER-PHYSICAL SYSTEMS, VERIFICATION, etc. Submissions for this Workshop can be made by Jun 15, 2022. Authors can expect the result of submission by Jul 31, 2022. Upon acceptance, authors should submit the final version of the manuscript on or before Aug 31, 2022 to the official website of the Workshop. Please check the official event website for possible changes before you make any travelling arrangements. Generally, events are strict with their deadlines. It is advisable to check the official website for all the deadlines. Other Details of the ARCH 2022
|
Credits and Sources |
[1] ARCH 2022 : 9th Int. Workshop on Applied Verification for Continuous and Hybrid Systems |