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

Almost a hundred participants attended this year’s FMATS, held on 21-22 September 2017 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](https://vetss.org.uk/fmats-timetable/).

![FMATS5 Welcome session](/images/posts/Welcome-to-FMATS5-768x488.png)

You can also see [photos of the two days on the FMATS5 Flickr page](https://www.flickr.com/gp/143382439@N02/42SQU9).