From b9a1eea4c247b28e4d4e09d281d0e7c19c859cd5 Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Thu, 16 Feb 2017 10:20:09 +0000
Subject: [PATCH] Add new file

---
 _posts/2017-02-11-INVEST.md | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)
 create mode 100644 _posts/2017-02-11-INVEST.md

diff --git a/_posts/2017-02-11-INVEST.md b/_posts/2017-02-11-INVEST.md
new file mode 100644
index 0000000..4b057b5
--- /dev/null
+++ b/_posts/2017-02-11-INVEST.md
@@ -0,0 +1,18 @@
+---
+title: Third edition of the Introduction to Verification and Testing (INVEST) workshop
+---
+
+Over sixty people attended the Introduction to Verification and Testing workshop 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.
+
+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, 
+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. 
+For details of this and future editions please see the [INVEST 2017 webpage]
+(http://wp.doc.ic.ac.uk/verificationgroup/event/workshop-introduction-to-verification-and-testing-invest-2017/).
\ No newline at end of file
-- 
GitLab