From 6a10169ea01cd741a88b1da14b254cab7893900e Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Fri, 17 May 2019 12:19:24 +0100
Subject: [PATCH] Update 2019-05-13-lorentz _seminar.md

---
 _posts/2019-05-13-lorentz _seminar.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/_posts/2019-05-13-lorentz _seminar.md b/_posts/2019-05-13-lorentz _seminar.md
index dbe01d9..b2332fa 100644
--- a/_posts/2019-05-13-lorentz _seminar.md	
+++ b/_posts/2019-05-13-lorentz _seminar.md	
@@ -2,8 +2,8 @@
 title: Effective Verification Workshop at the Lorentz centre, talks by Philippa Gardner and Emanuele D’Osualdo
 ---
 
-Philippa Gardner and Emanuele D'Osualdo have been invited to take part in the Lorentz centre workshop: 
-[Effective Verification: Static Analysis Meets Program Logics]( http://lorentzcenter.nl/lc/web/2019/1115/description.php3?wsid=1115&venue=Snellius), this May.
+Philippa Gardner and Emanuele D'Osualdo gave invited talks as this May's Lorentz centre workshop: 
+[Effective Verification: Static Analysis Meets Program Logics]( http://lorentzcenter.nl/lc/web/2019/1115/description.php3?wsid=1115&venue=Snellius) in Leiden, The Natherlands.
 
 Philippa gave a talk on TADA Live: Compositional Reasoning for the Termination 
 of Fine-grained Concurrent Programs and Emanuele gave a talk entitled: Inductive 
-- 
GitLab