FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
OVERTURE PROGRAM
Saturday, July 14th

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

10:00-10:30 Session 91B: Overture: Tools
Chair:
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 92G: Overture: Tools and Applications

The session contains two papers focuses on tool support for VDM in Overture and two papers on applications.

Chair:
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:50-15:30 Session 94: Overture: Perspectives and Methods

This session focuses on methodology and prespectives on the use of the Overture tools in practice.

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 96G: 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.

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).