Videos

Start date cannot be after end date.
Stochastic Modeling of Molecular Motors Across Scales Thumbnail

Stochastic Modeling of Molecular Motors Across Scales

Presenter
  • Peter Kramer
May 13, 2013
IMA
Hyperbolic groups with planar boundaries Thumbnail

Hyperbolic groups with planar boundaries

Presenter
  • Peter Haissinsky
April 29, 2013
IPAM

Understanding the Chinta-Gunnells action

Presenter
  • Peter McNamara
April 16, 2013
ICERM

The role of oscillatory entrainment in auditory selective attention

Presenter
  • Peter Lakatos
March 21, 2013
MBI

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