Update 2016-11-14-inferlab.md

ba8a437a · Teresa Carbajo-Garcia · 7ddf24f1 · ba8a437a
Commit ba8a437a authored 8 years ago by Teresa Carbajo-Garcia
--- a/_posts/2016-11-14-inferlab.md
+++ b/_posts/2016-11-14-inferlab.md
@@ -4,7 +4,7 @@ title: Facebook runs lab on Infer, industrial verification tool

 [Peter O’Hearn](http://www.pl-enthusiast.net/2015/09/15/facebooks-peter-ohearn-on-programming-languages/), 
 Engineering Manager, and [Jules Villard](https://www.doc.ic.ac.uk/~jvillar1/), Software Engineer at Facebook, 
-gave a tutorial on how to use [Infer](http://fbinfer.com/) to the students on the Separation Logic MEng and MSc course (404H). 
+gave a tutorial on how to use [Infer](http://fbinfer.com/) to the students on the [Separation Logic](https://psvg.doc.ic.ac.uk/teaching/separationlogic.html) MEng and MSc course (404H). 

 ![Andrea Cerone at Dagstuhl with former colleague Giovanni Bernardi](https://gitlab.doc.ic.ac.uk/resource-reasoning/psvg.doc.ic.ac.uk/blob/master/images/images/Infer-lab-1.jpg)