F-IDE 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 Overture)
Chair:
Location: Blavatnik Seminar Room 1
| 09:00 | Auto-active verification using Why3's IDE (abstract)  |
10:00-10:30 Session 94A: Program verification
Chair:
Location: Blavatnik Seminar Room 1
| 10:00 | Lightweight Interactive Proving inside an Automatic Program Verifier (abstract) |
10:30-11:00Coffee Break
11:00-12:30 Session 95C: User interfaces for formal tools
Chair:
Location: Blavatnik Seminar Room 1
| 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
14:00-14:50 Session 96F: Overture/F-IDE invited talk: Leo Freitas (joint with Overture)
Chair:
Location: Blavatnik Seminar Room 2
| 14:00 | VDM at large: analysing the EMV Next Generation Kernel (abstract) |
15:00-15:30 Session 98B: Experience in analyzing large programs
Chair:
Location: Blavatnik Seminar Room 1
| 15:00 | Experience Report on Formally Verifying Parts of OpenJDK's API with KeY (abstract) |
15:30-16:00Coffee Break
16:00-18:00 Session 99C: Integrating formal verification results
Chair:
Location: Blavatnik Seminar Room 1
| 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).
Location: Oxford Town Hall