From 109e249f2ed88a304d5772bb4c8cc543a0877123 Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Fri, 17 May 2019 12:17:57 +0100
Subject: [PATCH] Update 2019-05-13-lorentz _seminar.md

---
 _posts/2019-05-13-lorentz _seminar.md | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/_posts/2019-05-13-lorentz _seminar.md b/_posts/2019-05-13-lorentz _seminar.md
index 8910db9..dbe01d9 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
-- 
GitLab