diff --git a/_posts/2016-09-22-fmats5.md b/_posts/2016-09-22-fmats5.md index 7ecaa7c3726a742dd0ccfe201d8017c955c4ce3c..05fa301542059c82356af3e1ffa5737170cea908 100644 --- a/_posts/2016-09-22-fmats5.md +++ b/_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/). + + + + +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