From ce316f85183be9390accf4ee5c97e48d150a7af2 Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Wed, 18 Apr 2018 16:51:53 +0100
Subject: [PATCH] Update 2017-12-07-google-summit-munich.md

---
 _posts/2017-12-07-google-summit-munich.md | 22 ++++++++++------------
 1 file changed, 10 insertions(+), 12 deletions(-)

diff --git a/_posts/2017-12-07-google-summit-munich.md b/_posts/2017-12-07-google-summit-munich.md
index cb3f1ca..6d9b348 100644
--- a/_posts/2017-12-07-google-summit-munich.md
+++ b/_posts/2017-12-07-google-summit-munich.md
@@ -7,17 +7,15 @@ 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 complier and programming language technology 
-to travel to Munich to discuss Google’s latest research with researchers 
-and engineers working on these topics.
+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. 
  
-Gabriela presented poster on her current work on [Automatic JavaScript Program Verification Using Bi-Abduction]({{site.baseurl}}{% link slides/Sampaio-Automatic-JavaScript.pdf %})
-and Shale a poster on his work on [Reasoning about Concurrent Programs using Separation Logic]({{site.baseurl}}{% link slides/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 
-three days of research and tech talks, poster fairs and round tables. Students have the opportunity 
-to discuss their research with engineers and researchers, but also to learn 
-about Google’s latest work on programming language implementation and how this 
-research is applied to compilers and language tooling at Google and across industry.
+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 %})
+and [Reasoning about Concurrent Programs using Separation Logic]({{site.baseurl}}{% link slides/Xiong-Concurrent.pdf %}).
 
+They also attended several round tables and had the chance to discuss their 
+research with engineers at Google and to learn first hand
+about Google’s latest work on programming language implementation and how this 
+research is applied to compilers and language tooling at Google and across industry.
\ No newline at end of file
-- 
GitLab