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

Going Beyond Pairs: Higher-Order Synchronization via Trifocal and Quadrifocal Constraints

Presenter
  • Daniel Miao
July 17, 2026
ICERM

Robust Rotation Averaging in Global Structure-from-Motion

Presenter
  • Dániel Baráth
July 16, 2026
ICERM

The Crystal Geomap visualises materials databases in real time

Presenter
  • Daniel Widdowson
July 7, 2026
ICERM

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