diff --git a/_posts/2019-05-13-lorentz _seminar.md b/_posts/2019-05-13-lorentz _seminar.md
index b2332fa7b731549ac65b732b95daef99617921fc..fcd30a5822cf4e8792278dc83edeb0d806ab4d27 100644
--- a/_posts/2019-05-13-lorentz _seminar.md	
+++ b/_posts/2019-05-13-lorentz _seminar.md	
@@ -3,7 +3,7 @@ title: Effective Verification Workshop at the Lorentz centre, talks by Philippa
 ---
 
 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.
+[Effective Verification: Static Analysis Meets Program Logics]( http://lorentzcenter.nl/lc/web/2019/1115/description.php3?wsid=1115&venue=Snellius) in Leiden, The Netherlands.
 
 Philippa gave a talk on TADA Live: Compositional Reasoning for the Termination 
 of Fine-grained Concurrent Programs and Emanuele gave a talk entitled: Inductive