diff --git a/_posts/2019-05-13-lorentz _seminar.md b/_posts/2019-05-13-lorentz _seminar.md
index fcd30a5822cf4e8792278dc83edeb0d806ab4d27..79478d73dcd0c620b1c24e78a155930e36ab5562 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