FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
NSV PROGRAM
Wednesday, July 18th

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

09:00-10:30 Session 125H: Industrial Session
09:00
Needs in formal methods for the validation of naval systems (abstract)
09:45
Challenges on the Application of Formal Methods for Validation and Verification in Aerospace Systems Engineering (abstract)
10:30-11:00Coffee Break
11:00-12:30 Session 127H: Formal specification and verification
11:00
Compositional Taylor Model Based Validated Integration (abstract)
11:30
Automatic Generation and Formal Verification of an Interior Point Algorithm (abstract)
12:00
Towards Enumerative Invariant Synthesis in SMT Solvers (abstract)
12:30-14:00Lunch Break
14:00-15:30 Session 128H: Hybrid systems verification
14:00
Verified Probabilistic Reachability in Parametric Hybrid Systems: Theory and Tool Implementation (abstract)
14:30
Parallel reachability analysis of hybrid systems in XSpeed (abstract)
15:00
The Policy Iterations Algorithm is Actually a Newton Method (abstract)
15:30-16:00Coffee Break
19:15-21:30 Workshops dinner at Magdalen College

Workshops dinner at Magdalen College. Drinks reception from 7.15pm, to be seated by 7:45 (pre-booking via FLoC registration system required; guests welcome).