Start date cannot be after end date.
Arithmetic hyperbolic 3-manifolds, perfectoid spaces, and Galois representations I
Presenter
- Peter Scholze
February 10, 2014
IAS
Homotopy Type Theory: what can logic do for homotopy theory?
Presenter
- Peter Lumsdaine
October 4, 2013
IAS