Commit 8cd73c31 authored by Teresa Carbajo-Garcia's avatar Teresa Carbajo-Garcia

Add new file

parent 25ff3cd1
Pipeline #142240 canceled with stages
---
Title: PLDI 2020, song and REMS+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
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