| |||||||||||||||
ARCH 2015 : 2nd International Workshop on Applied Verification for Continuous and Hybrid Systems (ARCH) | |||||||||||||||
Link: http://cps-vo.org/group/ARCH | |||||||||||||||
| |||||||||||||||
Call For Papers | |||||||||||||||
--------------------
Call for Submissions -------------------- 2nd International Workshop on Applied Verification for Continuous and Hybrid Systems Cyber-Physical Systems Week (CPSWeek) 2015, Seattle, WA, USA April 13, 2015 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. It 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. General Submission Guidelines ----------------------------- Submissions consist of an extended abstract of 3-8 pages (pdf) and optional files (e.g. models or traces) submitted through the ARCH'15 EasyChair web site. 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. For details, see the guidelines and forums at http://cps-vo.org/group/ARCH Important Dates --------------- Submission deadline March 14, 2015 (extended from February 12, 2015) Notification of acceptance March 24, 2015 Final version March 31, 2015 Workshop April 13, 2015 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: 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 (Carnegie Mellon University) Ian Mitchell (Univ. British Colombia) Sayan Mitra (UI Urbana-Champaign) Andre Platzer (Carnegie Mellon Univ.) Nacim Ramdani (Universite d'Orleans) Stefan Ratschan (Czech Academy of Sciences Sriram Sankaranarayanan (UC Boulder) Program Committee - Industry ---------------------------- Ajinkya Bhave (LMS) Olivier Bouissou (MathWorks) Jyotirmoy Deshmukh (Toyota) Roelof Hamberg (TNO-ESI) William Hung (Synopsys Inc) Roozbeh Izadi-Zamanabadi (Danfoss) Natasha Neogi (National Inst. of Aerospace) Luca Parolini (GE Global Research) Alessandro Pinto (United Technologies) Frank Schiller (Beckhoff Automation) Matthias Woehrle (Bosch) |
|