Lecture videos from Trends in Logic XIV

Here.