Videos

Start date cannot be after end date.
Higher Inductive Types  Thumbnail

Higher Inductive Types

Presenter
  • Peter Lumsdaine
October 1, 2012
IAS

Nonparametric priors for exchangeable graphs and arrays

Presenter
  • Peter Orbanz
September 19, 2012
ICERM
Basic tools for finite and infinite-dimensional systems, Lecture 3. Thumbnail

Basic tools for finite and infinite-dimensional systems, Lecture 3.

Presenter
  • Peter Bates
September 18, 2012
IMA
Basic tools for finite and infinite-dimensional systems, Lecture 1. Thumbnail

Basic tools for finite and infinite-dimensional systems, Lecture 1.

Presenter
  • Peter Bates
September 17, 2012
IMA
Basic tools for finite and infinite-dimensional systems, Lecture 2. Thumbnail

Basic tools for finite and infinite-dimensional systems, Lecture 2.

Presenter
  • Peter Bates
September 17, 2012
IMA