Workshop Program


SNR 2018

Friday 20 April 2018, Melpomeni

08:00 Registration opens
08:30 – 09:00 Welcome
Martin Fränzle, Carl von Ossietzky and Taylor T. Johnson
09:00 – 10:00 Invited Talk: Eva Darulova
Sound Mixed-Precision Optimization with Rewriting
10:00 – 10:30 Coffee Break
10:30 – 12:30 SESSION 1 – CONTRIBUTED PAPERS
Robot Swarms as Hybrid Systems (Short paper)
Stefan Schupp, Francesco Leofante, Erika Abraham and Armando Tacchella
Time-Staging Enhancement of Hybrid System Falsification (Full paper)
Gidon Ernst, Ichiro Hasuo, Zhenya Zhang and Sean Sedwards
An evaluation of estimation techniques for probabilistic reachability (Full paper)
Mariia Vasileva and Paolo Zuliani
12:30 – 14:00 Lunch
14:00 – 15:00 Invited Talk: Matthias Heizmann
Traces, interpolants, and automata : Ultimate Automizer's verification approach
15:00 – 16:00 Invited Talk: Dejan Ničković
16:00 – 16:30 Coffee Break
16:30 – 18:00 SESSION 3 – FUTURE SYMBOLIC-NUMERIC VERIFICATION DIRECTIONS DISCUSSIONS
Introductions and Overview of Panel and Discussion Goals
Martin Fränzle, Carl von Ossietzky and Taylor T. Johnson
Symbolic and Numerical Methods Panel: Analysis for More General Dynamics (DAEs, DDEs, PDEs, …) and Numerical Statistics vs. Symbolic Semantics in AI
SNR Future Directions