Videos

Start date cannot be after end date.
Eilenberg-Mac Lane Spaces in HoTT Thumbnail

Eilenberg-Mac Lane Spaces in HoTT

Presenter
  • Daniel Licata
March 13, 2013
IAS
A Computer-Checked Proof that the Fundamental Group of the Circle is the Integers Thumbnail

A Computer-Checked Proof that the Fundamental Group of the Circle is the Integers

Presenter
  • Daniel Licata
November 26, 2012
IAS
Toward a Computational Interpretation of Univalence Thumbnail

Toward a Computational Interpretation of Univalence

Presenter
  • Daniel Licata
October 18, 2012
IAS
Computing with Univalence Thumbnail

Computing with Univalence

Presenter
  • Daniel Licata
September 28, 2012
IAS
From Morse Homology to Symplectic Weyl Laws Thumbnail

From Morse Homology to Symplectic Weyl Laws

Presenter
  • Daniel Cristofaro-Gardiner
November 7, 2025
IAS
p-Curvature and Non-Abelian Cohomology Thumbnail

p-Curvature and Non-Abelian Cohomology

Presenter
  • Daniel Litt
October 13, 2025
IAS
Daniel Schwalbe-Koda - Scales in Material Modeling w/ Atomistic Sim, Info Theory, & Generative Model Thumbnail

Daniel Schwalbe-Koda - Scales in Material Modeling w/ Atomistic Sim, Info Theory, & Generative Model

Presenter
  • Daniel Schwalbe-Koda
October 9, 2025
IPAM

Asymptotic root distribution and free probability

Presenter
  • Daniel Perales
August 8, 2025
ICERM
Dániel Virosztek - Optimal transport by quantum channels: non-quadratic problems, metric properties Thumbnail

Dániel Virosztek - Optimal transport by quantum channels: non-quadratic problems, metric properties

Presenter
  • Dániel Virosztek
April 28, 2025
IPAM
The Smale conjecture for RP^3 and minimal surfaces Thumbnail

The Smale conjecture for RP^3 and minimal surfaces

Presenter
  • Daniel Ketover
April 8, 2025
IAS
Daniel Stilck Franca - Optimal quantum algorithm for Gibbs state preparation - IPAM at UCLA Thumbnail

Daniel Stilck Franca - Optimal quantum algorithm for Gibbs state preparation - IPAM at UCLA

Presenter
  • Daniel Stilck Franca
March 31, 2025
IPAM

What is... the measurement variety?

Presenter
  • Dániel Garamvölgyi
March 21, 2025
ICERM