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).

Registration is now closed, please contact Teresa Carbajo Garcia at if you have not registered but wish to attend the workshop. 

The Sixth Workshop on Formal Methods and Tools for Security (FMATS) is organised and supported by VeTSS, the UK Research Institute in Verified Trustworthy Software Systems, and Microsoft Research Cambridge.

The workshop will consist of two days of talks given from 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 full programme is available HERE.

The goal of this workshop to bring together verification, systems and security experts interested in formal analysis, industrialists interested in software validation, and government scientists interested in reliable software systems, and to introduce them to the current generation of UK PhD students and postdocs.

There will also talks by researchers leading projects funded  in the recent VeTSS call for research proposals, short talks for PhD students, RAs and industrialists to introduce themselves to each other and the audience and a panel of young PhD students, RAs and industrialists informing us about their experience.