Commit 6c9b242f authored by Teresa Carbajo-Garcia's avatar Teresa Carbajo-Garcia

Update 2020-05-19-thisispldi.md

parent 8eaa6df6
Pipeline #142248 passed with stages
......@@ -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,
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment