NSV PROGRAM
Days: Thursday, July 17th Friday, July 18th
Thursday, July 17th, 2014
View this program: with abstractssession overviewtalk overviewside by side with other conferences
09:15-10:15 Session 65A: NSV Invited Talk: Jean-Michel Muller
Chair:
Location: FH, Hörsaal 2
| 09:15 | Getting tight error bounds in floating-point arithmetic: illustration with complex functions, and the real x^n function (abstract) |
10:15-10:45Coffee Break
10:45-12:45 Session 66AG: NSV Contributed Talks: Formal Methods in Numerical Programs
Chair:
Location: FH, Hörsaal 2
| 10:45 | Theorem-Proving Analysis of Digital Control Logic Interacting with Continuous Dynamics (abstract) |
| 11:15 | Transformation of a PID Controller for Numerical Accuracy (abstract) |
| 11:45 | Policy iteration in finite templates domain (abstract) |
13:00-14:30Lunch Break
14:30-16:00 Session 75AG: NSV Contributed Talks: Certified Numerical Computation
Chair:
Location: FH, Hörsaal 2
| 14:30 | Certifying Square Root and Division Elimination (abstract) |
| 15:00 | Computational complexity of iterated maps on points and sets (abstract) |
| 15:30 | SetBased Decorated Intervals (abstract) |
16:00-16:30Coffee Break
16:30-19:00 Session 79A: VSL Joint Award Ceremony 1
Chair:
Location: MB, Kuppelsaal
| 16:30 | Foundations and Technology Competitions Award Ceremony (abstract) |
| 17:30 | FLoC Olympic Games Award Ceremony 1 (abstract) |
| 18:15 | FLoC Closing Week 1 (abstract) |
16:30-18:00 Session 80A: NSV Invited Talk: Sumit Kumar Jha
Chair:
Location: FH, Hörsaal 2
| 16:30 | Verifying Parameterized Software Models in Computational Data Science against Behavioral Specifications (abstract) |
Friday, July 18th, 2014
View this program: with abstractssession overviewtalk overviewside by side with other conferences
08:45-10:15 Session 86D: CAV Tutorial: How do we get inductive invariants?
Location: FH, Hörsaal 2
Thursday, July 17th, 2014
View this program: with abstractssession overviewtalk overviewside by side with other conferences
21:00-23:59 Session 89: VSL Student Reception 1
Location: Transporter
Friday, July 18th, 2014
View this program: with abstractssession overviewtalk overviewside by side with other conferences
10:15-10:45Coffee Break
10:45-12:45 Session 90AF: CAV Tutorial: How do we get inductive invariants?
Location: FH, Hörsaal 2
13:00-14:30Lunch Break
14:30-16:00 Session 96BD: Special Session: Decidability with Numerical Methods
Location: FH, Hörsaal 2
| 14:30 | Epsilon-semantics and hybrid automata (abstract) |
| 15:00 | Verifying Floating-Point Implementations of Nonlinear Functions (abstract) |
| 15:30 | Correctness of Parallel Interval Computations (abstract) |
16:00-16:30Coffee Break
16:30-18:00 Session 99AY: NSV Invited Talk: Jim Kapinski
Location: FH, Hörsaal 2
| 16:30 | Numerical Challenges in Simulation-guided Dynamical System Analysis (abstract) |