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

---
 _posts/2017-02-11-INVEST.md | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/_posts/2017-02-11-INVEST.md b/_posts/2017-02-11-INVEST.md
index 27c9b59..44d9f83 100644
--- a/_posts/2017-02-11-INVEST.md
+++ b/_posts/2017-02-11-INVEST.md
@@ -2,17 +2,17 @@
 title: Third edition of the Introduction to Verification and Testing (INVEST) workshop
 ---
 
-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. 
+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. 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 
+look at the fields of [software verification and testing](http://wp.doc.ic.ac.uk/verificationgroup/).
 
 ![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/), 
-[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 
-look at the fields of [software verification and testing](http://wp.doc.ic.ac.uk/verificationgroup/).
-
 During the all day workshop, students were able to listen to and engage with world-leading academic 
 scholars, experience what it’s like being a Verification and Testing researcher, and network with other students and current Post-Docs. 
 There were a number of talks, including one on How to Give Talks That People Can Follow, 
-- 
GitLab