diff --git a/_posts/2017-02-11-INVEST.md b/_posts/2017-02-11-INVEST.md index 3fae25e84259e677095f53cee236b5b8d1d44363..1b01d82a86bc8c05e32b5551e04a83b47c1ebdce 100644 --- a/_posts/2017-02-11-INVEST.md +++ b/_posts/2017-02-11-INVEST.md @@ -13,5 +13,4 @@ scholars, experience what it’s like being a Verification and Testing researche 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 +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