Fifth Workshop on Formal Methods and Tools for Security (FMATS5)

Venue: Microsoft Research Cambridge (map)
Dates: 21-22 September 2017

Organisers: Philippa Gardner (Imperial), Markulf Kohlweiss (MSR Cambridge), Mike Gordon (Cambridge University), Graham Steel (INRIA and Cryptosense, Paris).


Click here for the programme

Registration to the workshop is now closed

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, three more FMATS workshops have been held in 2013, 2014, and 2015, all at Microsoft Research Cambridge, with Philippa Gardner taking over as lead organiser in 2015.

In place of FMATS in 2016, Gardner and Gordon, together with Greg Morrisett (Cornell), Peter O’Hearn (Facebook London) and Fred Schneider (Cornell), organised the Royal Society Scientific and Discussion Meeting, and an associated specialist meeting at Imperial College London, on Verified Trustworthy Software Systems.  The aim of these meetings was to bring together academics, industrial experts and government scientists, united by their interest in verification, to identify key challenges in establishing verification at the heart of the software design process.

These meetings spearheaded the successful application for the Research Institute on Verified Trustworthy Software Systems (VeTSS), funded by EPSRC and directed by Gardner.  FMATS is now co-organised with VeTSS.


FMATS traditionally attracts a wide audience, including UK academic researchers, PhD Students, industrialists and government employees. The two-day workshop comprises invited talks addressing key research topics from the field of formal methods and their application to security, with the aim of fostering discussion between all participants. The speaker list is in preparation. So far, the following people have agreed to speak: Nathan Chong (ARM), Daniel Kroening (Oxford and DiffBlue), Peter O’Hearn (Facebook London and UCL) and Neil White (Altran UK). In addition, there will be short talks by people successful in the recent VeTSS call for research proposals.

The workshop format and content is on-going.  The programme can be found here.  One important aim is to foster dialogue between the PhD students, RAs and industry.  The transition from either PhD student or RA to industry is known to be difficult, with each individual essentially making it up as they go along. One hope is that, through FMATS and VeTSS, it will be possible to build up a level of understanding of the opportunities out there in for analysis and verification enthusiasts in the industrial sector.

Suggestions are welcome on how to make this work. There will be short talks for PhD students, RAs and industrialists to introduce themselves to each other and the audience.  In addition, there will be a panel of young PhD students, RAs and industrialists informing us about their experience.


Poster Session

PhD student and RAs are invited to provide posters of their research, which will be easy to see during the coffee and lunch breaks.