Start date cannot be after end date.
Robust principal component analysis: Exact recovery of corrupted low-rank matrices via convex optimization
Presenter
- Yi Ma
October 6, 2009
IMA
Michael Levin - Structural and functional plasticity without genetic change: from bioelectric embryos to synthetic proto-organisms
Presenter
- Michael Levin
February 17, 2022
IPAM
Advanced Healthcare Research and Analytics: Catching fraud, Removing Waste, Finding Providers, and Happy Consumers
Presenter
- Jason Haupt
February 5, 2016
IMA
Heather Macbeth - Algorithm and abstraction in formal mathematics - IPAM at UCLA
Presenter
- Heather Macbeth
February 17, 2023
IPAM
Patrick Massot - Formal mathematics for mathematicians and mathematics students - IPAM at UCLA
Presenter
- Patrick Massot
February 15, 2023
IPAM
Moving Lapack and ScaLapack to Higher Precision without Too Much Work
Presenter
- Yozo Hida
January 30, 2007
SLMath
Terence Tao - Machine assistance and the future of research mathematics - IPAM at UCLA
Presenter
- Terence Tao
February 10, 2026
IPAM
Benedikt Ahrens - Univalent Foundations and the UniMath library - IPAM at UCLA
Presenter
- Benedikt Ahrens
February 13, 2023
IPAM
Leonardo de Moura - The Lean proof assistant: introduction and challenges - IPAM at UCLA
Presenter
- Leonardo de Moura
February 14, 2023
IPAM
Andrej Bauer - Formalizing invisible mathematics - IPAM at UCLA
Presenter
- Andrej Bauer
February 13, 2023
IPAM
Optimal Mass Transport in Medical Imaging Computation
Presenter
- Allen Tannenbaum
October 15, 2013
SLMath
Tony Wu - Autoformalization with Large Language Models - IPAM at UCLA
Presenter
- Tony Wu
February 15, 2023
IPAM