From 6c9b242f395bac5233bbddc4866ae07824c42af4 Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Thu, 21 May 2020 12:58:55 +0100
Subject: [PATCH] Update 2020-05-19-thisispldi.md

---
 _posts/2020-05-19-thisispldi.md | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/_posts/2020-05-19-thisispldi.md b/_posts/2020-05-19-thisispldi.md
index a1f2b28..a9b61ea 100644
--- a/_posts/2020-05-19-thisispldi.md
+++ b/_posts/2020-05-19-thisispldi.md
@@ -9,13 +9,13 @@ remind attendees that virtually or not, this is still PLDI.
 You can check out the singing abilities of friends and colleagues, including our 
 own Philippa Gardner, [here](https://youtu.be/hVMCl64Uhe8). 
 
-PLDI 2020 technical program will be run as a single track, 12h a day, from 
+PLDI 2020's technical program will run as a single track, 12 hours a day, from 
 Wednesday, 17 June through Friday, 19 June, with co-located events on Monday and 
-Tuesday, 15-16 June. 
+Tuesday, 15 and 16 June. 
 
 One of these events will be the two-day [REMS+DeepSpec workshop](https://pldi20.sigplan.org/home/rems-deepspec-2020) 
 organized jointly by the [EPSRC project REMS: Rigorous Engineering for 
-Mainstream Systems (UK)](https://www.cl.cam.ac.uk/~pes20/rems/) and the NSF 
+Mainstream Systems (Cambridge, Imperial, and Edinburgh, UK)](https://www.cl.cam.ac.uk/~pes20/rems/) and the NSF 
 Expedition in Computing ["The Science of Deep Specification" (US)](https://deepspec.org/main). 
 
 The workshop will consist of in-depth presentations by members of the two projects, 
-- 
GitLab