Update 2019-05-13-lorentz _seminar.md

_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