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

IAM 2023   THE 6TH International Hybrid Conference on Informatics and Applied Mathematics
AIAP 2024   11th International Conference on Artificial Intelligence and Applications
DAP 2023   19TH DAYS OF APPLIED PSYCHOLOGY
PSSV 2023   International Workshop on Program Semantics, Specification and Verification
CGDEIJ 2023   Computer Game Development and Education: An International Journal
BCYIoT 2023   International Conference on Blockchain, Cybersecurity and Internet of Things
ICDM 2023   International Conference on Data Mining
NLP 2023   12th International Conference on Natural Language Processing
S.ARCH Berlin 2023   S.ARCH BERLIN The 10th International Conference on Architecture and Built Environment 04-06 April 2023
NLDML 2024   3rd International Conference on NLP, Data Mining and Machine Learning