[tiarkrompf]

The talk was part of a summer school at EPFL: http://vjovanov.github.io/dsldi-summer-school/

Afaik, everything was videotaped. I'm sure the videos will appear soon.