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 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

Some Recent Experience with Clostridium Difficile

Presenter
  • Peter Kim
May 21, 2012
MBI
An overview of Heegaard Floer homology Thumbnail

An overview of Heegaard Floer homology

Presenter
  • Peter Ozsvath
January 31, 2012
IMA