diff --git a/_posts/2019-05-13-lorentz _seminar.md b/_posts/2019-05-13-lorentz _seminar.md
index 8910db934d39f3bd6c18e21d722ef5dd9a3cc2cf..dbe01d9ec337e92245a014594fbdeb606041e9f9 100644
--- a/_posts/2019-05-13-lorentz _seminar.md	
+++ b/_posts/2019-05-13-lorentz _seminar.md	
@@ -1,5 +1,5 @@
 ---
-title: Effective Verification: Workshop at the Lorentz centre, talks by Philippa Gardner and Emanuele D’Osualdo
+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: 
@@ -20,4 +20,6 @@ automation for program logics (using techniques from static analysis), as well
 as help extend static analysis to prove more daring properties beyond safety 
 (using techniques from program logics).
  
-You can find the [programme of the workshop here](http://lorentzcenter.nl/lc/web/2019/1115/program.pdf)
\ No newline at end of file
+You can find the [programme of the workshop here](http://lorentzcenter.nl/lc/web/2019/1115/program.pdf)
+
+![Effective Verification Static Analysis Meets Program Logics poster](/images/posts/Lorentz.jpg)
\ No newline at end of file