FMATS6 – VeTSS PhD School and Sixth Workshop on Formal Methods and Tools for Security (FMATS)

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:

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.