From ba8a437ab05a7ac5cb7133c6220a921aba7bf6ce Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Fri, 25 Nov 2016 16:20:17 +0000
Subject: [PATCH] Update 2016-11-14-inferlab.md

---
 _posts/2016-11-14-inferlab.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/_posts/2016-11-14-inferlab.md b/_posts/2016-11-14-inferlab.md
index f27cc6d..276109a 100644
--- 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)
 
-- 
GitLab