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

IEA/AIE 2025   The 37th International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems
ELE 2024   8th International Conference on Electrical Engineering
BS LAB 2025   9th Business Systems Laboratory International Symposium TECHNOLOGY AND SOCIETY: Boon or Bane?
DSML 2024   5th International Conference on Data Science and Machine Learning
ASPLOS 2025   The ACM International Conference on Architectural Support for Programming Languages and Operating Systems
SBMF 2024   27th Brazilian Symposium on Formal Methods
CCCIS 2025   IEEE--2025 5th International Conference on Computer Communication and Information Systems (CCCIS 2025)
VSTTE 2024   Verified Software: Theories, Tools, Experiments
NC2EAIS 2024   NATIONAL CONFERENCE ON COMPUTATIONAL ENGINEERING, ARTIFICIAL INTELLIGENCE AND SMART SYSTEMS
PJA 74(1) 2025   Hybrid Landscapes: Experiencing Things, Mapping Practices, Re-construing Ecologies of Entangled Environments