Videos

Start date cannot be after end date.
Overview of Univalent Foundations  Thumbnail

Overview of Univalent Foundations

Presenter
  • Vladimir Voevodsky
September 27, 2012
IAS

Bayesian Probabilistic Numerical Methods (Part I)

Presenter
  • Chris Oates
June 7, 2017
ICERM