… more info soon …

Lecture slides (From Aina-Frau Pascual at ASPP 2017.)

Lecturer notes (These don't include any of the live questions we debugged together.)