Update 2016-09-22-fmats5.md

_posts/2016-09-22-fmats5.md

@@ -4,9 +4,14 @@ title: Fifth Workshop on Formal Methods and Tools for Security (FMATS5), 21-22 S
 
 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.
+with a common interest in formal methods and verification. 
 
-For a list of the talks and slides, [please see this year’s programme](https://vetss.org.uk/fmats-timetable/).
+
+![FMATS5](https://gitlab.doc.ic.ac.uk/resource-reasoning/psvg.doc.ic.ac.uk/blob/master/images/posts/Welcome-to-FMATS5-768x488.png)
+
+
+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/).
 
 You can also see [photos of the two days on the FMATS5 Flickr page](https://www.flickr.com/photos/143382439@N02/sets/72157686588074530/).
\ No newline at end of file