diff --git a/_posts/2017-02-11-INVEST.md b/_posts/2017-02-11-INVEST.md index 91f198b2cd216817e49420dc7add6555909a2a3c..b5eca5c8f27f78fd394d4f89f6ee66cdd7e92407 100644 --- a/_posts/2017-02-11-INVEST.md +++ b/_posts/2017-02-11-INVEST.md @@ -2,8 +2,7 @@ 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/), +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 @@ -11,10 +10,11 @@ look at the fields of [software verification and testing](http://wp.doc.ic.ac.uk   - During the all day workshop, students were able to listen to and engage with world-leading academic scholars, experience what it is 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. \ No newline at end of file +Software Systems (MPI-SWS), Germany]( https://www.mpi-sws.org/) and one minute presentations by students. + + \ No newline at end of file