Update 2017-12-07-google-summit-munich.md

_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