Videos

Start date cannot be after end date.
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
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