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

Venue: Microsoft Research Cambridge (map)
Dates: 24-25 September 2018

Organisers: Philippa Gardner (Imperial), Cedric Fournet and Antoine Delignat-Lavaud (MSR Cambridge).

This year’s edition of FMATS saw a hundred and twenty participants attending the Workshop on Formal Methods and Tools for Security (FMATS6), held on 24-25 September at Microsoft Research Cambridge.

FMATS6 was organised and supported by VeTSS, the UK Research Institute in Verified Trustworthy Software Systems, and 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. This was the larger edition of FMATS so far, with 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; the full programme is available HERE.