Update 2019-05-13-lorentz _seminar.md

_posts/2019-05-13-lorentz _seminar.md

 ---
-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