Videos

Start date cannot be after end date.

Affine Mirkovic-Vilonen polytopes

Presenter
  • Peter Tingley
March 5, 2013
ICERM
Group actions on rings and the Cech complex Thumbnail

Group actions on rings and the Cech complex

Presenter
  • Peter Symonds
February 12, 2013
SLMath
Isomorphic Structures of any Kind are `Equal' in HoTT: But What is a Kind of Structure? Thumbnail

Isomorphic Structures of any Kind are `Equal' in HoTT: But What is a Kind of Structure?

Presenter
  • Peter Aczel
February 7, 2013
IAS
Simplicial Types Thumbnail

Simplicial Types

Presenter
  • Peter Lumsdaine
January 16, 2013
IAS

What's happening with the World Digital Mathematics Library

Presenter
  • Peter Olver
December 11, 2012
ICERM
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
Tests, Games, and Martin-Lof's Meaning Explanations for Intuitionistic Type Theory Thumbnail

Tests, Games, and Martin-Lof's Meaning Explanations for Intuitionistic Type Theory

Presenter
  • Peter Dybjer
November 30, 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
Small time asymptotics for an additive functional of a fast diffusion process: moderate, large and superlarge deviations Thumbnail

Small time asymptotics for an additive functional of a fast diffusion process: moderate, large and superlarge deviations

Presenter
  • Peter Baxendale
October 22, 2012
IMA

Numerical approximation of random and stochastic (partial) differential equations

Presenter
  • Peter Kloeden
October 10, 2012
ICERM