Videos

Start date cannot be after end date.
$pi_2(s^2)$ in HoTT Thumbnail

$pi_2(s^2)$ in HoTT

Presenter
  • Guillaume Brunerie
February 20, 2013
IAS
Invariant homotopy theory in the univalent foundations Thumbnail

Invariant homotopy theory in the univalent foundations

Presenter
  • Guillaume Brunerie
September 28, 2016
IAS