FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
F-IDE PROGRAM
Saturday, July 14th

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

10:00-10:30 Session 91A: Program verification
10:00
Lightweight Interactive Proving inside an Automatic Program Verifier (abstract)
10:30-11:00Coffee Break
11:00-12:30 Session 92C: User interfaces for formal tools
11:00
User Support for the Combinator Logic Synthesizer Framework (abstract)
11:30
AsmetaF: a flattener for the ASMETA framework (abstract)
12:00
Improving the Visualization of Alloy Instances (abstract)
12:30-14:00Lunch Break
15:30-16:00Coffee Break
16:00-18:00 Session 96C: Integrating formal verification results
16:00
Isabelle/jEdit as IDE for domain-specific formal languages and informal text documents (abstract)
16:30
A Notebook Format for the Holistic Design of Embedded Systems (abstract)
17:00
The CLEAR Way To Transparent Formal Methods (abstract)
17:30
Integrating user design and formal models within PVSio-Web (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).