From 80e26b1aa345693e3bb7b1f113ea9bb2af2ec92e Mon Sep 17 00:00:00 2001 From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk> Date: Thu, 16 Feb 2017 10:32:37 +0000 Subject: [PATCH] Update 2017-02-11-INVEST.md --- _posts/2017-02-11-INVEST.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/_posts/2017-02-11-INVEST.md b/_posts/2017-02-11-INVEST.md index 1cef729..2bd7ce3 100644 --- a/_posts/2017-02-11-INVEST.md +++ b/_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 -- GitLab