posted by organizer: ttj || 4631 views || tracked by 9 users: [display]

ARCH 2015 : 2nd International Workshop on Applied Verification for Continuous and Hybrid Systems (ARCH)

FacebookTwitterLinkedInGoogle

Link: http://cps-vo.org/group/ARCH
 
When Apr 13, 2015 - Apr 13, 2015
Where Seattle, WA
Submission Deadline Mar 14, 2015
Notification Due Mar 24, 2015
Final Version Due Mar 31, 2015
Categories    formal methods   formal verification   hybrid systems   cyber-physical systems
 

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)

Related Resources

ACM SAC 2025   40th ACM/SIGAPP Symposium On Applied Computing
IEA/AIE 2025   The 37th International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems
BDAB 2025   6th International Conference on Big Data and Blockchain
PSSV 2024   Workshop Program Semantics, Specification and Verification
ICCPS 2025   16th ACM/IEEE International Conference on Cyber-Physical Systems
SAC-SVT 2025   40th ACM/SIGAPP Symposium On Applied Computing - Software Verification and Testing track
TASE 2025   19th International Symposium on Theoretical Aspects of Software Engineering
MLPRIS 2025   The 7th Int'l Conference on Machine Learning, Pattern Recognition and Intelligent Systems
Hong Kong-MIST 2025   2025 Asia-Pacific Conference on Marine Intelligent Systems and Technologies (MIST 2025)
CAV 2025   37th International Conference on Computer Aided Verification