Videos

Start date cannot be after end date.

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
Kan Simplicial Set Model of Type Theory Thumbnail

Kan Simplicial Set Model of Type Theory

Presenter
  • Peter LeFanu
October 25, 2012
IAS
Construction of stochastic processes with singular jump characteristics as solutions of martingale problems Thumbnail

Construction of stochastic processes with singular jump characteristics as solutions of martingale problems

Presenter
  • Peter Imkeller
October 23, 2012
IMA