« All Events

  • This event has passed.

Fifth Workshop on Formal Methods And Tools for Security (FMATS)

September 21 - September 22

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.


September 21
September 22