diff --git a/_posts/2017-12-07-google-summit-munich.md b/_posts/2017-12-07-google-summit-munich.md index ec7a7fbbefb0667b3503b97f68a4508f36fedd9a..58d0d05a44188ee0e5aa2e38d0b7337baba0f81b 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]({{site.baseurl}}{% link 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. The goal of the summit is to build relationships and to encourage dialogue over