Videos

Start date cannot be after end date.
Formalization Of Mathematics Summer School: Basics (Chapter 2 of MIL) Thumbnail

Formalization Of Mathematics Summer School: Basics (Chapter 2 of MIL)

Presenter
  • Heather Macbeth
June 5, 2023
SLMath

Algebra Tactics

Presenter
  • Heather Macbeth
July 12, 2022
ICERM
Kähler-Einstein metrics and higher alpha-invariants Thumbnail

Kähler-Einstein metrics and higher alpha-invariants

Presenter
  • Heather Macbeth
March 21, 2016
SLMath
Experiences on Deploying a Photo Cloaking Privacy Tool Thumbnail

Experiences on Deploying a Photo Cloaking Privacy Tool

Presenter
  • Heather Zheng
February 8, 2022
IMSI
mmWave Networking and Beyond Thumbnail

mmWave Networking and Beyond

Presenter
  • Heather Zheng
February 9, 2017
IPAM
Mirror symmetry for open surfaces Thumbnail

Mirror symmetry for open surfaces

Presenter
  • Heather Lee
September 23, 2016
IAS