VSL 2014: VIENNA SUMMER OF LOGIC 2014
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
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
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
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
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
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

Thursday, July 17th, 2014

View this program: with abstractssession overviewtalk overviewside by side with other conferences

Friday, July 18th, 2014

View this program: with abstractssession overviewtalk overviewside by side with other conferences

10:15-10:45Coffee Break
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)