[TYPES/announce] CAV: SNR 2015 - Call for Participation

[Sergiy Bogomolov]

CALL FOR PARTICIPATION

**************
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

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

Registration
===========================

http://i-cav.org/2015/travel/ (Early registration deadline is June 10,
2015)

Invited talk
===========================

Sriram Sankaranarayanan (University of Colorado Boulder, USA).
Symbolic-Numeric Reachability Analysis of Hybrid Systems

Accepted papers
===========================

Yang Gao and Martin Fränzle.
Verification of Stochastic Systems by Stochastic Satisfiability Modulo
Theories with Continuous Domain

Fedor Shmarov and Paolo Zuliani.
ProbReach: A Tool for Guaranteed Reachability Analysis of Stochastic
Hybrid Systems

Ian M. Mitchell.
Recent Progress on Efficient Parametric Approximations of Viability
and Discriminating Kernels

Stanley Bak, Sergiy Bogomolov and Taylor T Johnson.
HYST: A Source-to-Source Transformation Framework for Hybrid Automata

Kengo Kido, Swarat Chaudhuri and Ichiro Hasuo.
Abstract Interpretation with Infinitesimals: Towards Scalability in
Nonstandard Static Analysis

Pavithra Prabhakar and Miriam García Soto.
An Algorithmic Approach to Stability Verification of Hybrid Systems: A
Summary


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)