Christmas Tree Category Seminar

Friday 20.12.2013.

12.00-13.00, room 5870, Chris Kapulkin - Homotopy Excision in HoTT and Higher Toposes (after Finster--Licata--Lumsdaine)

13.00-14 Lunch

14.00-15.00, room 5050, Wouter Stekelenburg - Recursive realizability of homotopy type theory

15.30-16.30, room 5050, Karol Szumiło, Thomason and Barwick—Kan model structures

17.00-?? Dinner