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 industry and academia in an effort to properly understand and address the challenges in applying formal methods to security. Since then, three more FMATS workshops have been held in 2013, 2014, and 2015, all at Microsoft Research Cambridge. In 2016, the Royal Society Scientific Meeting on Verified Trustworthy Software Systems was organised instead of FMATS. This year’s FMATS will take place on 21-22 September 2017.
The goals of FMATS are to:
- provide an overview of current use of formal methods for security in academia and industry;
- categorise security properties, together with the associated formalisms and tools that have been used to address them;
- identify key problems for the research and industrial communities;
- discuss practical problems and difficulties potential tool users might encounter.
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 ten outstanding PhD students, who would present their research in form of posters or short presentations. Details of this year’s workshop will be published shortly.