Seminar series Homotopy Type Theory Seminar Date Wed, 26 Nov 2014 Time 10:00 - 12:00 Location L5 Speaker Prof. Voevodsky http://hottformath.wikispaces.com