OVERTURE 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) |
09:00-10:00 Session 93B: F-IDE/Overture invited talk: Jean-Christophe Filliatre (joint with F-IDE)
Chair:
Location: Blavatnik Seminar Room 1
| 09:00 | Auto-active verification using Why3's IDE (abstract)  |
10:00-10:30 Session 94B: Overture: Tools
Chair:
Location: Blavatnik Seminar Room 2
| 10:00 | Welcome to the Overture Workshop (abstract) |
| 10:10 | Enhancing Testing of VDM-SL models (abstract) |
10:30-11:00Coffee Break
11:00-12:30 Session 95G: Overture: Tools and Applications
The session contains two papers focuses on tool support for VDM in Overture and two papers on applications.
Chair:
Location: Blavatnik Seminar Room 2
| 11:00 | Overture FMU: Export VDM-RT Models as Tool-Wrapper FMUs (abstract) |
| 11:20 | ViennaVM: a Virtual Machine for VDM-SL development (abstract) |
| 11:40 | Multi-modelling of Cooperative Swarms (abstract) |
| 12:00 | Design Space Exploration for Secure Building Control (abstract) |
12:30-14:00Lunch Break
14:00-14:50 Session 96F: Overture/F-IDE invited talk: Leo Freitas (joint with F-IDE)
Chair:
Location: Blavatnik Seminar Room 2
| 14:00 | VDM at large: analysing the EMV Next Generation Kernel (abstract) |
14:50-15:30 Session 97: Overture: Perspectives and Methods
This session focuses on methodology and prespectives on the use of the Overture tools in practice.
Chair:
Location: Blavatnik Seminar Room 2
| 14:50 | Transforming an industrial case study from VDM++ to VDM-SL (abstract) |
| 15:10 | Integrating VDM-SL into the continuous delivery pipelines of cloud-based software (abstract) |
15:30-16:00Coffee Break
16:00-18:00 Session 99G: Overture: the Workshop part
This session will be used to host a structured brainstorm on the future of Overture, from the perspective of the notation and semantics, tool support, applications, community building and exploitation.
Chair:
Location: Blavatnik Seminar Room 2
| 16:00 | The Overture Strategic Research Agenda (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