Videos

Start date cannot be after end date.
Homotopy Type Theory: what can logic do for homotopy theory? Thumbnail

Homotopy Type Theory: what can logic do for homotopy theory?

Presenter
  • Peter Lumsdaine
October 4, 2013
IAS
Simplicial Types Thumbnail

Simplicial Types

Presenter
  • Peter Lumsdaine
January 16, 2013
IAS
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
Higher Inductive Types Thumbnail

Higher Inductive Types

Presenter
  • Peter Lumsdaine
October 1, 2012
IAS
Stability of Geometric Inequalities: Continuous and Discrete Perspectives Thumbnail

Stability of Geometric Inequalities: Continuous and Discrete Perspectives

Presenter
  • Peter van Hintum
October 2, 2024
IAS
Peter Todd - Traces of search in space and mind - IPAM at UCLA Thumbnail

Peter Todd - Traces of search in space and mind - IPAM at UCLA

Presenter
  • Peter Todd
September 23, 2024
IPAM
Some More Gems Thumbnail

Some More Gems

Presenter
  • Peter Sarnak
April 12, 2024
IAS
Analytic Prismatization Thumbnail

Analytic Prismatization

Presenter
  • Peter Scholze
March 13, 2024
IAS
Real local Langlands as geometric Langlands on the twistor-P^1 Part III Thumbnail

Real local Langlands as geometric Langlands on the twistor-P^1 Part III

Presenter
  • Peter Scholze
March 6, 2024
IAS
Real local Langlands as geometric Langlands on the twistor-P^1 II Thumbnail

Real local Langlands as geometric Langlands on the twistor-P^1 II

Presenter
  • Peter Scholze
March 5, 2024
IAS
Real local Langlands as geometric Langlands on the twistor-P^1 Thumbnail

Real local Langlands as geometric Langlands on the twistor-P^1

Presenter
  • Peter Scholze
March 4, 2024
IAS