The Workshop on Formal Methods and Tools for Security (FMATS), inspired by the grand challenge of software verification, was established in 2011 by Professor Mike Gordon of the University of Cambridge, with the aim of bringing together academia, industry and government employees interested in an effort to properly understand and address the challenges in applying formal methods to security. Since then, several FMATS workshops have been held, supported by VeTSS, Microsoft Research Cambridge and the Royal Society. Please follow the links below for the previous editions of FMATS.
FMATS7 (2019) (replaced by the `Verified Software’ workshop)