Scottish Programming Languages and Verification - Summer School 2020
Aimed at grad students following a PhD in the PLT area but also welcome industrial colleagues with an interest in these areas.
I’m now following the lectures in parallel as given as these are about plumb centre for my research interests, which kind of tells me something. Idris