posted by user: sadegh_rk || 2864 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

ACM SAC 2025   40th ACM/SIGAPP Symposium On Applied Computing
CAV 2025   37th International Conference on Computer Aided Verification
IEA/AIE 2025   The 38th International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems
SOFT 2025   11th International Conference on Software Engineering
PSSV 2024   Workshop Program Semantics, Specification and Verification
TASE 2025   19th International Symposium on Theoretical Aspects of Software Engineering
ICAUAS 2025   2025 International Conference on Advanced Unmanned Aerial Systems (ICAUAS 2025)
SIMULTECH 2025   15th International Conference on Simulation and Modeling Methodologies, Technologies and Applications
ISCSIC 2025   2025 9th International Symposium on Computer Science and Intelligent Control(ISCSIC 2025)
SPIN 2025   31st International Symposium on Model Checking Software