diff --git a/_posts/2017-12-07-google-summit-munich.md b/_posts/2017-12-07-google-summit-munich.md index 334ea7b78e0325caa34eaf98edc8258db74b3dd9..ec7a7fbbefb0667b3503b97f68a4508f36fedd9a 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