April 13, 2015, Seattle, USA
http://cps-vo.org/group/ARCH
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
The deadlines are as below and the details are available on the web site.
Submission deadline: February 12, 2015
Notification of acceptance: March 9, 2015
Final version: March 31, 2015
Workshop: April 13, 2015