diff --git a/_posts/2017-12-07-google-summit-munich.md b/_posts/2017-12-07-google-summit-munich.md index 6d9b3486b7d124cfb45b8d32f9804a037ecfcde3..c5cd72a6312f33d34b9aa1c0d32a7b4c839f7b85 100644 --- a/_posts/2017-12-07-google-summit-munich.md +++ b/_posts/2017-12-07-google-summit-munich.md @@ -6,10 +6,9 @@ title: Google Compiler and Programming Language Summit, Munich, Germany this year’s Google Compiler and Programming Language Summit in Munich, Germany. -The summit invites a number of promising PhD students across Europe working -in the field of compiler and programming language technology -to travel to the Google office in Munich to discuss their latest research with engineers -and researchers working on these topics. +The summit, now on its fifth year, invites a number of promising PhD students +across Europe working in the field of compiler and programming language technology, +to attend three days of research talks and seminars at the Google office. Gabriela and Shale took part in the poster fair, presenting two posters about their current work on [Automatic JavaScript Program Verification Using Bi-Abduction]({{site.baseurl}}{% link slides/Sampaio-Automatic-JavaScript.pdf %})