Videos

Start date cannot be after end date.
Kan Simplicial Set Model of Type Theory  Thumbnail

Kan Simplicial Set Model of Type Theory

Presenter
  • Peter LeFanu
October 25, 2012
IAS
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 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