The Research Institute is co-organising the Third Workshop on Formal Methods And Tools for Security (FMATS3).

Update on 6th May 2014:

FMATS3 was held at Microsoft Research Cambridge on 1st and 2nd May 2014. This year we had additional talks from the individual projects affiliated to the Research Institute in Automated Program Analysis and Verification (RI2). The event was attended by 47 participants comprising researchers from academia, industry and government and included talks on 16 different topics (see agenda). On the 2nd day, we had a poster session along with bite-size introductions from nine winners of the "PhD Prizes". In the discussion session on the future of the FMATS workshop, it was agreed that the FMATS community should be opened to other complementary networks like CryptoForma and adopt ideas from other similar events like NSA's HCSS conference.

The future organisation of FMATS will be led by the Director of RI2, Professor Philippa Gardner of Imperial College, London.

To keep updated on future FMATS events email Anuj Sood, Program Manager of RI2 at a.soodxximperial.ac.uk (replace xx by @).

FMATS4 was successfully held at Microsoft Research Cambridge on 11 and 12 June 2015. The event was attended by more than 65 participants comprising researchers, industrialists and government employees, and included specialist talks on 15 different topics.