[TYPES/announce] CAV 2015: 3rd CfP Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR)

[Sergiy Bogomolov]

CALL FOR PAPERS

**************
SNR 2015
**************

1st International Workshop on Symbolic and Numerical Methods for
Reachability Analysis, July 19th, 2015, affiliated with CAV 2015

San Francisco, CA, USA

Web Page: http://snrworkshop.github.io

Important Dates
===============

Submissions deadline: April 24, 2015
Notification: May 31, 2015
Final version: June 15, 2015
Workshop dates: July 19, 2015

Description of the Workshop
===========================

Hybrid systems model complex dynamical systems that combine discrete
and continuous components. Reachability questions, regarding whether a
system can run into certain subset of its state space, stand at the
core of verification and synthesis problems for hybrid systems.

Successful reachability analysis methods for hybrid systems requires
the unification of techniques from at least two traditions:

- Symbolic methods that operate on exact and discrete representations
  of systems, in the form of various model checking and theorem
  proving algorithms.

- Numerical methods that operate on various forms of numerical
  approximations and continuous transformations of the systems, as
  developed in the area of continuous dynamical systems and control
  theory.

As concrete examples, one can observe how the two types of techniques
interact in the existing approaches towards reachability
analysis. Reachable set computation methods explicitly construct
flow-pipes that overapproximate the reachable states over time, while
efficient computation of such overapproximations requires symbolic
representations such as support functions. Constraint solving methods
symbolically encode reachability properties as logic formulas, while
solving such formulas requires numerically-driven decision
procedures. A goal of the workshop is to seek further synergies among
these approaches.


Topics
===============

The SNR workshop solicits papers broadly in the area of verification
and synthesis of continuous and hybrid systems. One of the aims is to
catalyze work on the interface of symbolic and numerical methods for
the reachability analysis.  The scope of the workshop includes, but is
not restricted to, the following topics:

- Flow-pipe construction
- Representation of symbolic regions within reachability algorithm
- Abstraction techniques for hybrid systems and numerical programs
- Symbolic trajectory generation
- Decision procedures over real numbers
- Reliable integration
- Logics to reason about hybrid systems
- Reachability analysis for planning and synthesis
- Domain specific approaches in biology, robotics, etc


Submission information
======================

The workshop will be a platform for focused discussion of the recent
progress on the topic of reachability analysis of hybrid systems. We
solicit short versions of papers (SV papers) that have been published
in a leading venue in the past three years. We also welcome reports on
tools, work in progress, or new ideas.

An SV paper is an extended abstract of the original paper that conveys
the main technical ideas. We recommend that the SV papers consist
sections that explain the following aspects: intuition, technical
details, and main observation from experiments (without listing
statistics). SV papers can assume that the readers are experts on the
topic, and do not need to contain introduction, basic definitions,
etc.

All paper submissions should not exceed 6 pages
in CEUR one-column style
(http://ceur-ws.org/Vol-XXX/samplestyles/onecolpceurws.sty).

Paper submission must be performed via the EasyChair system:
http://easychair.org/conferences/?conf=snr2015

All the accepted papers will be published electronically as CEUR
proceedings (http://ceur-ws.org/).

Chairs
==========

Sergiy Bogomolov (IST Austria, Austria)
Ashish Tiwari (SRI, USA)

Program Committee
==========

Matthias Althoff (TUM, Germany)
Parasara Sridhar Duggirala (University of Illinois at Urbana Champaign, USA)
Martin Fränzle (University of Oldenburg, Germany)
Goran Frehse (Verimag, France)
Sean Gao (Massachusetts Institute of Technology, USA)
Daniele Magazzeni (King's College, UK)
Sayan Mitra (University of Illinois at Urbana Champaign, USA)
Erion Plaku (CUA, USA)
Stefan Ratschan (Academy of Sciences, Czech Republic)
Stavros Tripakis (Aalto University, Finnland)
Paolo Zuliani (University of Newcastle, UK)