23 May 2016, 11:00-12:00
Thomas Schick, Lecture 1 on L^2-Betti numbers, their applications and conjectures
23 May 2016, 15:15-16:15
Karol Szumilo on 'Type theory and higher categories'
