Videos

Start date cannot be after end date.

Effective spectra

Presenter
  • Benjamin Antieau
June 26, 2026
ICERM

Reflections on my original design goals for Ext and how it turned out

Presenter
  • Hood Chatham
June 26, 2026
ICERM

Efficient computations of Yoneda product of Ext groups

Presenter
  • Weinan Lin
June 25, 2026
ICERM

TBA

Presenter
  • Achim Krause
June 25, 2026
ICERM

Building mathematical databases

Presenter
  • David Roe
June 24, 2026
ICERM

Machine computation of the equivariant slice spectral sequence

Presenter
  • Danny Shi
June 24, 2026
ICERM

Introduction to homotopy type theory

Presenter
  • Reid Barton
June 24, 2026
ICERM

Automatic differential propagation in spectral sequences

Presenter
  • Eva Belmont
June 23, 2026
ICERM

Topology and algebra in SageMath

Presenter
  • John Palmieri
June 23, 2026
ICERM

TBA

Presenter
  • Thomas Brazelton
June 23, 2026
ICERM
Homotopy Continuation Techniques for Optimization in Variational Inference Thumbnail

Homotopy Continuation Techniques for Optimization in Variational Inference

Presenter
  • Emma Cobian
December 15, 2023
IMSI
Bohua Zhan - Verifying symbolic computation in the HolPy theorem prover - IPAM at UCLA Thumbnail

Bohua Zhan - Verifying symbolic computation in the HolPy theorem prover - IPAM at UCLA

Presenter
  • Bohua Zhan
February 16, 2023
IPAM