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
Formulating the digital twin problem as a two-step Bayesian Inference problem Thumbnail

Formulating the digital twin problem as a two-step Bayesian Inference problem

Presenter
  • Peter Jan
October 9, 2025
IMSI
Peter Voorhees - Dendrite Formation in Batteries: Dead Lithium and Thermodiffusion - IPAM at UCLA Thumbnail

Peter Voorhees - Dendrite Formation in Batteries: Dead Lithium and Thermodiffusion - IPAM at UCLA

Presenter
  • Peter Voorhees
October 7, 2025
IPAM
Algorithms for Solving Random and Semirandom Planted Constraint Satisfaction Problems Thumbnail

Algorithms for Solving Random and Semirandom Planted Constraint Satisfaction Problems

Presenter
  • Peter Manohar
October 7, 2025
IAS
Topological Feature Selection for Time Series Data Thumbnail

Topological Feature Selection for Time Series Data

Presenter
  • Peter Bubenik
August 18, 2025
IMSI

Enumerating Truchet tiles on the faces of polyhedra

Presenter
  • Peter Kagey
August 11, 2025
ICERM
Detection, Estimation, and Reconstruction in Networks: Exchangeability and vertex arrival times Thumbnail

Detection, Estimation, and Reconstruction in Networks: Exchangeability and vertex arrival times

Presenter
  • Peter Orbanz
April 24, 2025
SLMath
Peter Knowles - How far can we go with single-configuration quantum chemistry? - IPAM at UCLA Thumbnail

Peter Knowles - How far can we go with single-configuration quantum chemistry? - IPAM at UCLA

Presenter
  • Peter Knowles
April 4, 2025
IPAM