Update 2017-09-22-fmats5.md

_posts/2017-09-22-fmats5.md

 ---
-title: Fifth Workshop on Formal Methods and Tools for Security (FMATS5), 21-22 September 2017
+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 at Microsoft Research Cambridge. 
+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