From ed4dbd017c7ca214e16e502a138970b69959596e Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Thu, 16 Feb 2017 10:59:41 +0000
Subject: [PATCH] Update 2017-02-11-INVEST.md

---
 _posts/2017-02-11-INVEST.md | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/_posts/2017-02-11-INVEST.md b/_posts/2017-02-11-INVEST.md
index 85a67ac..40f6c3d 100644
--- a/_posts/2017-02-11-INVEST.md
+++ b/_posts/2017-02-11-INVEST.md
@@ -5,7 +5,7 @@ title: Third edition of the Introduction to Verification and Testing (INVEST) wo
 Over sixty people attended the [Introduction to Verification and Testing workshop](http://wp.doc.ic.ac.uk/verificationgroup/event/workshop-introduction-to-verification-and-testing-invest-2017/). held this week at Imperial College London. 
 
 ![Derek Dreyer presenting his talk on How to Give Talks](/images/posts/Derek-Dreyer-talk-at-Invest-2017-2.jpg)
-![Derek Dreyer presenting his talk on How to Give Talks](/images/posts/Derek-Dreyer-talk-at-Invest-2017.jpg)
+![Derek Dreyer presenting his talk on How to Give Talks](/images/posts/Derek-Dreyer-talk-at-Invest-2017-4)
 ![Cris Cadar presenting his talk on How to Give Talks](/images/posts/Cris-Cadar-talk-at-Invest-2017)
 
 The INVEST workshop, organised by [Alastair Donaldson]( http://multicore.doc.ic.ac.uk/), 
@@ -18,5 +18,3 @@ scholars, experience what it’s like being a Verification and Testing researche
 There were a number of talks, including one on How to Give Talks That People Can Follow, 
 by [Derek Dreyer]( https://people.mpi-sws.org/~dreyer/), of the [Max Planck Institute for 
 Software Systems (MPI-SWS), Germany]( https://www.mpi-sws.org/) and one minute presentations by students.
-
-![Derek Dreyer presenting his talk on How to Give Talks](/images/posts/Derek-Dreyer-talk-at-Invest-2017.jpg)
\ No newline at end of file
-- 
GitLab