Update 2020-05-19-thisispldi.md

_posts/2020-05-19-thisispldi.md

 ---
-title: PLDI 2020 song and REMS and DeepSpec workshop
+title: PLDI 2020 song
 ---
 
 This year’s PLDI has moved online and the organisers have 
@@ -11,13 +11,4 @@ own Philippa Gardner, [here](https://youtu.be/hVMCl64Uhe8).
 
 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 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 (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, 
-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
+Tuesday, 15 and 16 June. 
\ No newline at end of file