From e127890ee0cac082bbccab8a515ecf0f6ce060c9 Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Thu, 2 Aug 2018 13:26:05 +0100
Subject: [PATCH] Update 2018-07-16-seminar.md

---
 _posts/2018-07-16-seminar.md | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/_posts/2018-07-16-seminar.md b/_posts/2018-07-16-seminar.md
index 965dadc..9477aa0 100644
--- a/_posts/2018-07-16-seminar.md
+++ b/_posts/2018-07-16-seminar.md
@@ -1,9 +1,8 @@
 ---
 title: Seminar by Felix Stutz on Automated Verification of Security Protocols 
 ---
-Felix Stutz gave a talk on Monday on Automated Verification of Security Protocols. 
-
-He presented the latest result of the project he is doing with Emanuele D’Osualdo 
+Felix Stutz gave a talk on Monday on Automated Verification of Security Protocols. He 
+presented the latest result of the project he is doing with Emanuele D’Osualdo 
 which will inform his Master Thesis.
 
 The abstract is: 
-- 
GitLab