Start date cannot be after end date.
Univalent foundations and the equivalence principle
Presenter
- Benedikt Ahrens
September 12, 2018
IAS
The synthetic theory of $\infty$-categories vs the synthetic theory of $\infty$-categories
Presenter
- Emily Riehl
September 12, 2018
IAS
Voevodsky proof of Milnor and Bloch-Kato conjectures
Presenter
- Alexander Merkurjev
September 12, 2018
IAS