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

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


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 ( Detailed submission guidelines can be found on Submissions receive at least 3 anonymous reviews, including one from industry and one from academia. Details on the evaluation criteria can be found at

Submission deadline: June 15, 2022
Notification: July 31, 2022
Final Version: August 31, 2022
Workshop: September 05, 2022

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

IEEE COINS 2024   IEEE COINS 2024 - London, UK - July 29-31 - Hybrid (In-Person & Virtual)
SOEN 2024   9th International Conference on Software Engineering
PCDS 2024   The 1st International Symposium on Parallel Computing and Distributed Systems
ITCCMA 2024   11th International Conference on Information Technology, Control, Chaos, Modeling and Applications
CAV 2024   36th International Conference on Computer Aided Verification
NLPA 2024   5th International Conference on Natural Language Processing and Applications
S.ARCH 2024   The 11th International Conference on Architecture and Built Environment with Architecture AWARDs S.ARCH-2024
ICFEM 2024   International Conference on Formal Engineering Methods
ASPLOS 2025   The ACM International Conference on Architectural Support for Programming Languages and Operating Systems
Applied Sciences (MDPI) SI:Cybersecurity 2024   Applied Sciences (MDPI) Special Issue - Cybersecurity: Advances in Security and Privacy Enhancing Technology