From 278707ffe78f6382013dba775ee5793132e5e819 Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Wed, 4 Oct 2017 13:06:30 +0100
Subject: [PATCH] Update 2017-09-22-fmats5.md

---
 _posts/2017-09-22-fmats5.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/_posts/2017-09-22-fmats5.md b/_posts/2017-09-22-fmats5.md
index 2db17a1..615e0c8 100644
--- a/_posts/2017-09-22-fmats5.md
+++ b/_posts/2017-09-22-fmats5.md
@@ -1,8 +1,8 @@
 ---
-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 
-- 
GitLab