[Om-announce] Call for Participation: SNR at ETAPS --- 4th International Workshop on Symbolic and Numerical Methods for Reachability Analysis

[Martin Fränzle]

Dear colleagues,

the

  4th International Workshop on Symbolic and Numerical Methods for
  Reachability Analysis ( http://snr2018.verivital.com/ )

will be held on Friday 20 April 2018 at Thessaloniki, Greece, as an
affiliated workshop of ETAPS 2018. Registration is open through the ETAPS
web site ( https://www.etaps.org/index.php/2018/registration ).


Scope
=====

System verification increasingly has to address systems that combine
discrete and continuous components, like hybrid systems or floating-point
software. Reachability questions, regarding whether a system can run into a
certain subset of its state space, stand at the core of verification and
synthesis problems for such systems.

There are several successful methods for hybrid systems reachability
analysis. Some methods explicitly construct flow-pipes that
over-approximate the set of reachable states over time, where efficient
computation of such over-approximations requires symbolic representations
such as support functions. Other methods based on satisfiability checking
technologies, symbolically encode reachability properties as logical
formulas, while solving such formulas requires numerically-driven decision
procedures. Last but not least, also automated deduction and the usage of
theorem provers led to efficient analysis approaches. The goal of this
workshop is to bring together researchers working with different
reachability analysis techniques and to seek for synergies between the
different approaches.

SNR brings together researchers working in the area of automated
analysis and synthesis of systems combining discrete and continuous
dynamics.


Program
=======

08.00 Registration Opens

08.30 - 09.00 Welcome

09.00 - 10.00 Invited Talk: "Sound Mixed-Precision Optimization with
Rewriting" Eva Darulova, Max Planck Institute for Software Systems

10.00 - 10.30 Coffee Break
 
10.30 - 11.00 Robot Swarms as Hybrid Systems,”
Stefan Schupp, Francesco Leofante, Erika Abraham, RWTH Aachen University,
and Armando Tacchella, University of Genoa 

11.00 - 11.45 “Time-Staging Enhancement of Hybrid System Falsification,”
Gidon Ernst, Ichiro Hasuo, Zhenya Zhang, National Institute of
Informatics, Tokyo, Japan, and Sean Sedwards, University of Waterloo 

11.45 - 12.30 Full Paper: “An evaluation of estimation techniques for
probabilistic reachability,” Mariia Vasileva and Paolo Zuliani, Newcastle
University 

12.30 - 14.00 Lunch
 
14.00 - 16.00
Invited Talks
 
14.00 - 15.00 Invited Talk: "Traces, interpolants, and automata: Ultimate
Automizer's verification approach" Matthias Heizmann, University of
Freiburg 

15.00 - 16.00 Invited Talk: "TBA" Ničković Dejan, AIT Austrian Institute
of Technology 

16.00 - 16.30 Coffee Break
 
16.30 - 18.00 Future Symbolic-Numeric Verification Directions Discussions:
Panel discussion addressing a.o. more general dynamics (DAEs, DDEs,
PDEs, ...) and Numerical Statistics vs. Symbolic Semantics in AI

18:00 Closing of workshop