FMATS3 at Microsoft Research, 2014

FMATS3 on 1-2 May 2014 was co-organised by the Research Institute.

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 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 (replace xx by @).

JSCert Project at POPL14

Imperial College London presented their paper “A Trusted Mechanised JavaSript Specification” [1] on the JSCert project at the 41st Principles of Programming Languages Conference in San Diego.

The full version of the paper and the source code of the project are available from the JSCert website. A video of the talk given at the conference will be available shortly.

[1] Martin Bodin, Arthur Chargueraud, Daniele Filaretti, Philippa Gardner, Sergio Maffeis, Daiva Naudziuniene, Alan Schmitt, Gareth Smith, A Trusted Mechanised JavaSript Specification, Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp.87–100, 2014