Skip to content
Snippets Groups Projects
Commit 6d47731a authored by Teresa Carbajo-Garcia's avatar Teresa Carbajo-Garcia
Browse files

Update 2017-02-11-INVEST.md

parent 6bdd712f
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
_posts/2017-02-11-INVEST.md
+ 3
− 0
View file @ 6d47731a
...@@ -4,6 +4,9 @@ title: Third edition of the Introduction to Verification and Testing (INVEST) wo ...@@ -4,6 +4,9 @@ title: Third edition of the Introduction to Verification and Testing (INVEST) wo
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.
![Derek Dreyer presenting his talk on How to Give Talks](/images/posts/Derek-Dreyer-talk-at-Invest-2017-2.jpg)
![Derek Dreyer presenting his talk on How to Give Talks](/images/posts/Derek-Dreyer-talk-at-Invest-2017.jpg)
The INVEST workshop, organised by [Alastair Donaldson]( http://multicore.doc.ic.ac.uk/), 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/) [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 gives young researchers and final year students with an interest in research the chance to take a closer
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment