Update 2017-02-11-INVEST.md

_posts/2017-02-11-INVEST.md

@@ -3,6 +3,10 @@ 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. 
+(/images/posts/Derek-Dreyer-talk-at-Invest-2017-2.jpg)
+
+
+
 The INVEST workshop, organised by [Alastair Donaldson]( http://multicore.doc.ic.ac.uk/), 
 [Christian Cadar]( https://www.doc.ic.ac.uk/~cristic/) and [Philippa Gardner](https://www.doc.ic.ac.uk/~pg/) 
 gives young researchers and final year students with an interest in research the chance to take a closer