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

Provable Convergence rate for Asynchronous methods via Randomized Gauss-Seidel

Presenter
  • Daniel Szyld
May 5, 2026
ICERM
Legendrian and Lagrangian Higher Torsion Thumbnail

Legendrian and Lagrangian Higher Torsion

Presenter
  • Daniel Alvarez-Gavela
May 1, 2026
IAS

Limits on Transversal and Fold-Transversal Gates

Presenter
  • Daniel Gottesman
April 11, 2026
ICERM

Hot Topics: Geometric Langlands Conjecture: From de Rham geometric Langlands to representations of G(Qp)

Presenter
  • Daniel Li-Huerta
April 10, 2026
SLMath
Arithmetic on Markoff Surfaces Thumbnail

Arithmetic on Markoff Surfaces

Presenter
  • Daniel Varisco
April 7, 2026
IAS

Randomized methods for joint eigenvalue problems

Presenter
  • Daniel Kressner
February 4, 2026
ICERM

Randomized Householder-Cholesky QR Factorization with Multisketching

Presenter
  • Daniel Szyld
February 3, 2026
ICERM
Discrepancy Theory is Mathematics, Computer Science, and Statistics Thumbnail

Discrepancy Theory is Mathematics, Computer Science, and Statistics

Presenter
  • Daniel Spielman
January 28, 2026
IAS