2020-05-19-song.md 1.21 KB
Newer Older
Teresa Carbajo-Garcia's avatar
Teresa Carbajo-Garcia committed
title: PLDI 2020, song and REMS+DeepSpec workshop
Teresa Carbajo-Garcia's avatar
Teresa Carbajo-Garcia committed
3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23

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](