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

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

diff --git a/_posts/2017-12-07-google-summit-munich.md b/_posts/2017-12-07-google-summit-munich.md
index 334ea7b..ec7a7fb 100644
--- a/_posts/2017-12-07-google-summit-munich.md
+++ b/_posts/2017-12-07-google-summit-munich.md
@@ -10,8 +10,8 @@ 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](/images/posts/ Sampaio-Automatic-JavaScript.pdf) 
-and Shale a poster on his work on [Reasoning about Concurrent Programs using Separation Logic](/images/posts/ Xiong-Concurrent.pdf)in the Poster fair, 
+Gabriela presented poster on her current work on [Automatic JavaScript Program Verification Using Bi-Abduction](/images/posts/ Sampaio-Automatic-JavaScript.pdf ) 
+and Shale a poster on his work on [Reasoning about Concurrent Programs using Separation Logic](/images/posts/ Xiong-Concurrent.pdf )in the Poster fair, 
 as well as taking part in a number of round tables.   
  
 The goal of the summit is to build relationships and to encourage dialogue over 
-- 
GitLab