[TYPES/announce] CfP: Workshop SNR collocated with CPSWeek 2016

[Sergiy Bogomolov]

CALL FOR PARTICIPATION

SNR 2016
========

2nd International Workshop on Symbolic and Numerical Methods for
Reachability Analysis

April 11th, 2016, Vienna, Austria
Affiliated with CPSWeek 2016

https://snr2016.pages.ist.ac.at/

Topics
=====

The scope of the workshop includes, but is not restricted to, the
following topics:

- Reachability analysis approaches for hybrid systems
- Flow-pipe construction; symbolic state set representations
- Trajectory generation from symbolic paths; counterexample computation
- Abstraction techniques for hybrid systems
- Reliable integration
- Decision procedures for real arithmetic
- Automated deduction
- Logics to reason about hybrid systems
- Reachability analysis for planning and synthesis
- Domain-specific approaches in biology, robotics, etc.
- Stochastic/probabilistic hybrid systems
- Tools, benchmarks, and case studies

Registration
==========

http://www.cpsweek.org/2016/reg.html

Early registration deadline: *March 18, 2016*

Invited talks
============

Stylianos Basagiannis (United Technologies Research Center, Ireland)
Formal Verification towards Software Safety-Critical Certification of
Airborne Systems under DO-178C

Thao Dang (Verimag, France)
Template Complex Zonotopes: A New Set Representation for Verification
of Hybrid Systems

Walid Taha (Halmstad University, Sweden)
Accurate Rigorous Simulation Should be Possible for Good Designs

Program
========

9:00-10:30 Session 1: Validated simulation

  9:00-10:00 Invited talk
  Walid Taha (joint work with Adam Duracz and Ference Bartha).
  Accurate Rigorous Simulation Should be Possible for Good Designs

  10:00-10:30
  Adrien Le Coent, Julien Alexandre Dit Sandretto, Alexandre Chapoutot
and Laurent Fribourg.
  Control of Nonlinear Switched Systems Based on Validated Simulation

11:00-12:30 Session 2: Formal methods in industry

  11:00-12:00 Invited talk
  Stylianos Basagiannis.
  Software Certification of Airborne Cyber-Physical Systems under DO-178C

  12:00-12:30 Podium discussion
  Formal Methods: Bridging the Gap Between Academic and Industrial Research

14:00-15:30 Session 3: Reachability analysis

  14:00-15:00 Invited talk
  Thao Dang  (joint work with Santosh Arvind Adimoolam).
  Template complex zonotopes: A new set representation for
verification of hybrid systems

  15:00-15:30
  Stefan Ratschan.
  Computing ODE-barriers in Hyper-rectangles

16:00-17:30 Session 4: Discrete-time and probabilistic systems

  16:00-16:30
  Riccardo Vignali and Maria Prandini.
  Model reduction of discrete time hybrid systems: A structural
approach based on observability

  16:30-17:00
   Yang Gao and Martin Fränzle.
  CSiSAT: A Satisfiability Solver for SMT Formulas with Continuous
Probability Distributions

  17:00-17:30
   Kristóf Marussy, Attila Klenik, Vince Molnár, András Vörös, Miklos
Telek and Istvan Majzik.
  Configurable Numerical Analysis for Stochastic Systems