Presented by:
Andrew Pitts
Date:
Thursday 29th June 2017 - 15:30 to 17:30
Venue:
INI Seminar Room 2
Event:
Abstract:
15:30-16:30: Thierry Coquand (Chalmers), "Cubical stacks"
16:30-17:30: Egbert Rijke (CMU), “Colimits, descent and equifibrant replacement”
16:30-17:30: Egbert Rijke (CMU), “Colimits, descent and equifibrant replacement”
