Videos

Start date cannot be after end date.
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

Bounding suprema of canonical processes via convex hull

Presenter
  • Rafał Latała
October 20, 2022
ICERM