Venue: Microsoft Research Cambridge
Dates: 24-25 September 2018
Organisers: Philippa Gardner (Imperial), Cedric Fournet and Antoine Delignat-Lavaud (MSR Cambridge).
This was the larger edition of FMATS so far, with a hundred and twenty delegates and two days of talks by world-leading experts from academia (Cambridge, Imperial College London, Inria Paris, University College London, Purdue, etc.), industry (Adelard, Galois, Google, Data61, etc.), and funding bodies (NSF).
The programme included 19 specialist talks, poster presentations and a session of short talks for PhD students, RAs and industrialists to introduce themselves to each other and the audience; please see the links for the programme and the speakers list. Slides are available for the following talks:
- Suresh Jagannathan, (Purdue University/DARPA, USA), Learning for Automated Synthesis and Verification
- Mike Dodds, (Galois, USA), Continuous Verification in Industry
- Gernot Heiser, (Data61, Australia), Building secure systems with seL4
- John Wickerson, (Imperial College London and VeTSS), Verified Hardware Compilation
- Alceste Scalas and Nobuko Yoshida, (Imperial College London and VeTSS), Effpi: Concurrent Programming with Dependent Behavioural Types
- Matteo Sammartino and Alexandra Silva, (University College London and VeTSS), Automated black-box verification via model learning
FMATS is organised and supported by VeTSS, the UK Research Institute in Verified Trustworthy Software Systems, and this year’s edition was hosted and supported in collaboration by Microsoft Research Cambridge. The workshop, now on its sixth year, is aimed at researchers, PhD students, industrialists and government employees with a common interest in formal methods and verification.