Videos

Start date cannot be after end date.

Affine Mirkovic-Vilonen polytopes

Presenter
  • Peter Tingley
March 5, 2013
ICERM
Simplicial Types  Thumbnail

Simplicial Types

Presenter
  • Peter Lumsdaine
January 16, 2013
IAS
Kinetic Monte Carlo for Strained Epitaxial Growth Thumbnail

Kinetic Monte Carlo for Strained Epitaxial Growth

Presenter
  • Peter Smereka
December 6, 2012
IPAM
The Simplicial Model of Univalence  Thumbnail

The Simplicial Model of Univalence

Presenter
  • Peter Lumsdaine
December 6, 2012
IAS
Univalent Foundations Seminar Thumbnail

Univalent Foundations Seminar

Presenter
  • Peter Lumsdaine
November 8, 2012
IAS
Kan Simplicial Set Model of Type Theory  Thumbnail

Kan Simplicial Set Model of Type Theory

Presenter
  • Peter LeFanu
October 25, 2012
IAS