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 _______________________________________________ Om-announce mailing list Om-announce@openmath.org http://mailman.openmath.org/cgi-bin/mailman/listinfo/om-announce