Deadline Extension: 4th International Workshop on Applied Verification for Continuous and Hybrid Systems (CPSWeek 2017)
Call for Submissions - DEADLINE EXTENSION UNTIL MARCH 6
4th International Workshop on Applied Verification for Continuous and Hybrid Systems
CMU campus alongside CPS Week
Pittsburgh, USA, April 17, 2017 | http://cps-vo.org/group/ARCH
The workshop on applied verification for continuous and hybrid systems
(ARCH) brings together researchers and practitioners, and establishes a
curated set of benchmarks submitted by academia and industry. 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
Submission Guidelines
Submissions consist of papers of ideally 3-8 pages (pdf ) and optional files (e.g. models or traces) submitted through the ARCH'17 EasyChair web site (http://www.easychair.org/conferences/?conf=arch17). Authors have to use the EasyChair template (http://www.easychair.org/publications/for_authors).The extended abstract should be classified in its title as benchmark proposal, tool presentation, benchmark results, or experience report. 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: F
ebruary 15, 2017February 22, 2017 - Notification: March 7, 2017
- Final Version: March 31, 2017
- Workshop: April 17, 2017 (different from other CPS Week workshops; this year free of charge!)
Website: http://cps-vo.org/group/ARCH (includes forums, archive, wiki, etc.)
Prize
The paper with the most promising benchmark results receives a prize of 500 Euros sponsored by Robert Bosch GmbH, Germany. The winner is preselected by the program committee and determined by an audience voting.
Organizers
Program chairs:
- Matthias Althoff, Technische Universitat Munchen, Germany
- Goran Frehse, UJF-Verimag, France
Local chair: Sebastian Scherer, Carnegie Mellon University, USA
Publicity chair: Sergiy Bogomolov, Australian National University, Australia
Evaluation chair: Taylor T. Johnson, Vanderbilt University, USA
Program Committee (tentative)
Academia:
- Pieter Collins (Maastricht Univ.)
- Alexandre Donze (UC Berkeley)
- Ian Mitchell (Univ. British Colombia)
- Sayan Mitra (UI Urbana Champaign)
- Andre Platzer (CarnegieMellon Univ.)
- Nacim Ramdani (Universite d'Orleans)
- Aditya Zutshi (Duke University)
- Xin Chen (RWTH Aachen University)
- Sicun Gao (Massachusetts Institute of Technology)
- Stanley Bak (Air Force Research Lab)
Industry:
- Ajinkya Bhave (Siemens PLM)
- Jyotirmoy Deshmukh (Toyota)
- Luca Parolini (BMW)
- Alessandro Pinto (United Technologies)
- Matthias Woehrle (Bosch)
- William Hung (Synopsys Inc)
- Olivier Bouissou (MathWorks)
- Daniel Bryce (SIFT)
- Aaron Fifarek (Linquest)