2016-09-22-fmats5.md

title: Fifth Workshop on Formal Methods and Tools for Security (FMATS5), 21-22 September 2017

Almost a hundred participants attended this year’s FMATS, held on 21-22 September at Microsoft Research Cambridge. The workshop, now on its fifth year, was attended by researchers, PhD students, industrialists and government employees with a common interest in formal methods and verification.

The programme included 19 specialist talks, poster presentations and a session of short talks for PhD students, RAs and industrialists to introduce themselves to each other and the audience. For a list of the talks and slides, please see this year’s programme.

You can also see photos of the two days on the FMATS5 Flickr page.