From 8eaa6df6ce4e6a19860cc55cc3925f945f1e30d7 Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Thu, 21 May 2020 12:53:56 +0100
Subject: [PATCH] Add new file

---
 _posts/2020-05-19-thisispldi.md | 23 +++++++++++++++++++++++
 1 file changed, 23 insertions(+)
 create mode 100644 _posts/2020-05-19-thisispldi.md

diff --git a/_posts/2020-05-19-thisispldi.md b/_posts/2020-05-19-thisispldi.md
new file mode 100644
index 0000000..a1f2b28
--- /dev/null
+++ b/_posts/2020-05-19-thisispldi.md
@@ -0,0 +1,23 @@
+---
+title: PLDI 2020 song and REMS and DeepSpec workshop
+---
+
+This year’s PLDI has moved online and the organisers have 
+just [posted a song](https://pldi20.sigplan.org/news#%22This-is-Still-PLDI%22-song!) to 
+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 
+Wednesday, 17 June through Friday, 19 June, with co-located events on Monday and 
+Tuesday, 15-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 
+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, 
+invited talks by external experts, and general talks. The [provisional timetable 
+can be found here](https://pldi20.sigplan.org/program/program-pldi-2020?track=REMS-DeepSpec#session-timeline).
\ No newline at end of file
-- 
GitLab