.
7:00-8:20 Breakfast
8:20-8:30 Opening Remarks
8:30-9:30 Invited Talk: James Demmel, Accurate and efficient expression evaluation and linear algebra, slides
9:30 - 10:00 Contributed Talk: Khalil Ghorbal, Franjo Ivancic, Gogul Balakrishnan, Naoto Maeda, Aarti Gupta, Generating non-convex invariants using donut abstract domains
10:00-10:30 (COFFEE)
10:30-11:30 Invited Talk: Thomas Gawlitza, Template-based Static Analysis of Hybrid Systems meets Strategy Iteration, slides
11:30-12:00 Contributed Talk: Timothy Wang, Romain Jobredeaux and Eric Feron, A graphical environment to express the semantics of computer-controlled systems
12:00 - 1:30 (LUNCH)
1:30 - 2:00 Contributed Paper: David Bushnell, Continuity Analysis of Floating Point Software, slides
2:00 - 2:30 Contributed Paper: Olivier Ponsini, Claude Michel and Michel Rueher, Refining Abstract Interpretation-based Approximations with a Floating-point Constraint Solver, slides
2:30 - 2:45 Work-In-Progress: Aleksandar Chakarov, Georgios Fainekos and Sriram Sankaranarayanan Time and Frequency Domain Specifications for Continuous Signals, slides
2:45-3:00 Work-In-Progress: Tomas Dzetkulic and Stefan Ratschan, Incremental Computation of Succinct Abstractions of Mixed Discrete-Continuous Systems, slides
3:00 - 3:30 (COFFEE)
3:30-4:00 Contributed Talk: Tim Zirkel, Louis Rossi and Stephen Siegel Using symbolic execution to formally verify the accuracy of numerical approximations, slides
4:00 - 4:30 Work-In-Progress: Eric Goubault and Sylvie Putot, Superellipsoids: a generalization of the interval, zonotope and ellipsoid domains , slides
4:30 - 5:30 Invited Talk/Tutorial: Goran Frehse, Towards efficient set representations in SpaceEx, slides
5:30 - 6:00 NSV Community Discussion / closing remarks.