Videos

Start date cannot be after end date.
James Davenport - How to prove a calculation correct? - IPAM at UCLA Thumbnail

James Davenport - How to prove a calculation correct? - IPAM at UCLA

Presenter
  • James Davenport
February 16, 2023
IPAM
Andrej Bauer - Formalizing invisible mathematics - IPAM at UCLA Thumbnail

Andrej Bauer - Formalizing invisible mathematics - IPAM at UCLA

Presenter
  • Andrej Bauer
February 13, 2023
IPAM
Integrality of the Betti Moduli Space Thumbnail

Integrality of the Betti Moduli Space

Presenter
  • Johan Jong
February 13, 2023
IAS
Online List Labeling: Breaking the log2 n Barrier Thumbnail

Online List Labeling: Breaking the log2 n Barrier

Presenter
  • Nicole Wein
December 6, 2022
IAS