From f5dc9122eff722555c8c23b32bbd78dcacee3c9e Mon Sep 17 00:00:00 2001 From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk> Date: Thu, 19 Apr 2018 17:06:20 +0100 Subject: [PATCH] Update 2017-12-07-google-summit-munich.md --- _posts/2017-12-07-google-summit-munich.md | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/_posts/2017-12-07-google-summit-munich.md b/_posts/2017-12-07-google-summit-munich.md index 6d9b348..c5cd72a 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 %}) -- GitLab