From 01c4793b35a5e408f152a51545e4c4e8f37adf24 Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Mon, 2 Oct 2017 16:10:52 +0100
Subject: [PATCH] Add new file

---
 _posts/2016-09-22-fmats5.md | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 _posts/2016-09-22-fmats5.md

diff --git a/_posts/2016-09-22-fmats5.md b/_posts/2016-09-22-fmats5.md
new file mode 100644
index 0000000..7ecaa7c
--- /dev/null
+++ b/_posts/2016-09-22-fmats5.md
@@ -0,0 +1,12 @@
+---
+title: Fifth Workshop on Formal Methods and Tools for Security (FMATS5), 21-22 September 2017
+---
+
+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.
+
+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
-- 
GitLab