This year’s PLDI has moved online and the organisers have just posted a 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.

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 organized jointly by the EPSRC project REMS: Rigorous Engineering for Mainstream Systems (Cambridge, Imperial, and Edinburgh, UK) and the NSF Expedition in Computing “The Science of Deep Specification” (US).

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.