diff --git a/_posts/2017-02-11-INVEST.md b/_posts/2017-02-11-INVEST.md new file mode 100644 index 0000000000000000000000000000000000000000..4b057b52fac09389c80b15e90ba971f334a63d82 --- /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