DS-FM PROGRAM
Saturday, July 14th
View this program: with abstractssession overviewtalk overviewside by side with other conferences
09:00-10:30 Session 93A: FLoC Keynote Lecture: Georges Gonthier
Chair:
Location: Maths LT1
| 09:00 | The Logic of Real Proofs (abstract) |
10:30-11:00Coffee Break
11:00-12:30 Session 95B: DS-FM invited talk: Sylvain Conchon
Location: Blavatnik LT1
| 11:00 | Cubicle: a model checker for parameterized array-based transition systems (abstract) |
| 11:45 | Heuristic-Based GR(1) Assumptions Refinement (abstract)  |
12:30-14:00Lunch Break
14:00-15:30 Session 96B
Location: Blavatnik LT1
| 14:00 | Analysis and Verification of Message Passing based Parallel Programs (abstract) |
| 14:30 | Formal verification of neural networks (abstract) |
| 15:00 | Consistency Checking of Functional Requirements (abstract) |
15:30-16:00Coffee Break
16:00-16:30 Session 99B
Location: Blavatnik LT1
| 16:00 | A Formal Study of MANET Routing Protocols (abstract) |
19:00-21:30 FLoC reception at Oxford Town Hall
FLoC reception at Oxford Town Hall. Drinks and canapés available from 7pm (pre-booking via FLoC registration system required; guests welcome).
Location: Oxford Town Hall