diff --git a/_posts/2020-05-19-song.md b/_posts/2020-05-19-song.md index ccbf280ef58eeb943246bcc9d8dbceeb11cb2ba6..f5d84618700af6706c34b6ded6077191c53594f8 100644 --- a/_posts/2020-05-19-song.md +++ b/_posts/2020-05-19-song.md @@ -1,5 +1,5 @@ --- -title: PLDI 2020, song and REMS+DeepSpec workshop +title: PLDI 2020, song and REMS and DeepSpec workshop --- This year’s PLDI has moved online and the organisers have