posted by organizer: ttj || 3154 views || tracked by 3 users: [display]

ARCH 2016 : 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems

FacebookTwitterLinkedInGoogle

Link: http://cps-vo.org/group/ARCH/CallForSubmissions
 
When Apr 12, 2016 - Apr 12, 2016
Where Vienna, Austria
Submission Deadline Feb 15, 2016
Notification Due Mar 7, 2016
Final Version Due Mar 31, 2016
Categories    hybrid systems   verification   formal methods   cyber-physical systems
 

Call For Papers

-----------------------------------------------------------------------
Call for Submissions
-----------------------------------------------------------------------
3rd International Workshop on
Applied Verification for Continuous and Hybrid Systems
CPSWeek 2016, Vienna, Austria, April 11, 2016
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

Researchers are welcome to submit examples, tools and benchmarks that
have already appeared in brief form, but whose details were omitted. The
online benchmark repository allows researchers to include modeling
details, parameters, simulation results, etc. Submissions are
encouraged, but not required, to include executable data (models,
configuration files, code etc.). It is not required to show that the
benchmark has a solution; it suffices that the problem is described in
enough detail that somebody else can try to solve it.

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.

General Submission Guidelines
-----------------------------
Submissions consist of papers (ideally 3-8 pages) and optional files
(e.g. models or traces) submitted through the ARCH'16 EasyChair web
site at https://easychair.org/conferences/?conf=arch16.

ARCH16 will provide proceedings in the EasyChair EPiC series, indexed
by DBLP. Authors should use the EasyChair template at
http://www.easychair.org/publications/for_authors. The papers have to be
classified below their title as benchmark proposal, tool presentation,
benchmark results, or experience report by writing the classification in
parentheses in a line below the title. Submissions receive at least 3
anonymous reviews, including one from industry and one from academia.

A zip archive with additional data for the benchmark (description
details, model files, sample traces, code, known results, etc.) is to be
submitted together with the extended abstract. Benchmarks can be
academic or industrial, of small size or extensive case studies.


Important Dates
---------------
Submission deadline February 15, 2016
Notification of acceptance March 7, 2016
Final version March 31, 2016
Workshop April 11, 2016

Organizers
----------
Program chairs:
Goran Frehse, University Joseph Fourier-Verimag, France
Matthias Althoff, Technische Universitat Munchen, Germany

Experiment and evaluation chairs:
Sergiy Bogomolov, University of Freiburg, Germany
Taylor T. Johnson, University of Texas at Arlington, USA

Program Committee - Academia
----------------------------
Stanley Bak (Air Force Research Lab)
Xin Chen (RWTH Aachen University)
Pieter Collins (Maastricht Univ.)
Alexandre Donze (UC Berkeley)
Sicun Gao (Massachusetts Institute of Technology)
Ian Mitchell (Univ. British Colombia)
Sayan Mitra (UI Urbana Champaign)
Andre Platzer (Carnegie Mellon Univ.)
Nacim Ramdani (Universite d'Orleans)
Sriram Sankaranarayanan (UC Boulder)

Program Committee - Industry
----------------------------
Ajinkya Bhave (LMS)
Olivier Bouissou (MathWorks)
Daniel Bryce (SIFT)
Jyotirmoy Deshmukh (Toyota)
Aaron Fifarek (Linquest)
William Hung (Synopsys Inc)
Luca Parolini (GE Global Research)
Alessandro Pinto (United Technologies)
Frank Schiller (Beckhoff Automation)
Matthias Woehrle (Bosch)

Related Resources

ICCCS--Ei Compendex and Scopus 2018   2018 3rd International Conference on Computer and Communication Systems (ICCCS 2018)--Ei Compendex and Scopus
HVC 2017   Haifa Verification Conference
IEEE - ICISE - Ei 2018   2018 3rd International Conference on Information Systems Engineering (ICISE 2018)--IEEE Xplore, Ei Compendex
CFC-Data Analytics/Smart Cities 2017   Call for Chapters (Taylor & Francis): Data Analytics Applications for Smart Cities
ICISE--IEEEļ¼ŒEi Compendex 2018   2018 3rd International Conference on Information Systems Engineering (ICISE 2018)--IEEE Xplore, Ei Compendex
ICCS - IEEE 2017   The UND-SCIEI International Conference on Cyber-Security in Aerospace, Computer Science, and Electrical Engineering (ICCS 2017)--IEEE, Ei Compendex and Scopus
ICCCS--Ei and Scopus 2018   2018 3rd International Conference on Computer and Communication Systems (ICCCS 2018)--Ei Compendex and Scopus
CPS-SPC 2017   ACM Workshop on Cyber-Physical Systems Security & Privacy (CPS-SPC)
IEEE--ICCRE--Ei 2018   2018 IEEE 3rd International Conference on Control and Robotics Engineering (ICCRE 2018)--IEEE Xplore and Ei Compendex
NSV 2017   CfP : 10th International Workshop on numerical Software Verification 2017