Venue: Microsoft Research Cambridge
Dates: 21-22 September 2017
Organisers: Philippa Gardner (Imperial), Markulf Kohlweiss (MSR Cambridge), Mike Gordon (Cambridge University), Graham Steel (INRIA and Cryptosense, Paris).
For details of this year’s event please see the FMATS5 page
FMATS traditionally targets a wide audience, consisting of UK researchers, industrialists and government employees. It is a two-day workshop that revolves around two keynote and twenty specialist talks, addressing key research topics from the field of formal methods and their application to security, and fostering discussion between all of the participants. A number of travel support grants will be available for outstanding PhD students, who would present their research in form of posters or short presentations.