School and Workshop on Univalent Mathematics

at.algebraic-topology ct.category-theory lo.logic
Start Date
2017-12-11 
End Date
2017-12-15 
Institution
University of Birmingham 
City
Birmingham 
Country
UK 
Meeting Type
workshop/winter school 
Homepage
https://unimath.github.io/bham2017/ 
Contact Name
Benedikt Ahrens, Chris Kapulkin 
Created
 
Modified
 

Description

none

Problems?

If you notice a problem with this entry, please contact the curators by email.