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

---
 _posts/2019-05-13-lorentz _seminar.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/_posts/2019-05-13-lorentz _seminar.md b/_posts/2019-05-13-lorentz _seminar.md
index fcd30a5..79478d7 100644
--- a/_posts/2019-05-13-lorentz _seminar.md	
+++ b/_posts/2019-05-13-lorentz _seminar.md	
@@ -10,7 +10,7 @@ of Fine-grained Concurrent Programs and Emanuele gave a talk entitled: Inductive
 Invariants for Automatic Verification of Cryptographic Protocols.
 
 The [Lorentz Center workshop series](http://lorentzcenter.nl/progsel.php) 
-bring together scientists in a work environment that fosters exchange and 
+brings together scientists in a work environment that fosters exchange and 
 interaction and the establishment of collaborations. For the [Effective 
 Verification workshop](http://lorentzcenter.nl/lc/web/2019/1115/description.php3?wsid=1115&venue=Snellius), 
 the centre invited researchers in both static analysis and program logics 
-- 
GitLab