From 9aa13c5c2a3ba7d31d7aa6b5041b2823d97cf9e8 Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Fri, 13 Apr 2018 16:50:55 +0100
Subject: [PATCH] Update 2017-12-07-google-summit-munich.md

---
 _posts/2017-12-07-google-summit-munich.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/_posts/2017-12-07-google-summit-munich.md b/_posts/2017-12-07-google-summit-munich.md
index 58d0d05..850ed96 100644
--- a/_posts/2017-12-07-google-summit-munich.md
+++ b/_posts/2017-12-07-google-summit-munich.md
@@ -10,7 +10,7 @@ in the field of complier and programming language technology
 to travel to Munich to discuss Google’s latest research with researchers 
 and engineers working on these topics.
  
-Gabriela presented poster on her current work on [Automatic JavaScript Program Verification Using Bi-Abduction]({{site.baseurl}}{% link images/posts/Sampaio-Automatic-JavaScript.pdf %) 
+Gabriela presented poster on her current work on [Automatic JavaScript Program Verification Using Bi-Abduction](https://gitlab.doc.ic.ac.uk/resource-reasoning/psvg.doc.ic.ac.uk/blob/e5a11a77d37bbc5003f5a4310fedf048cafd18a9/images/posts/Sampaio-Automatic-JavaScript.pdf) 
 and Shale a poster on his work on [Reasoning about Concurrent Programs using Separation Logic]({{site.baseurl}}{% link images/posts/Xiong-Concurrent.pdf %)in the Poster fair, 
 as well as taking part in a number of round tables.   
  
-- 
GitLab