Start date cannot be after end date.
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
Reflections on my original design goals for Ext and how it turned out
Presenter
- Hood Chatham
June 26, 2026
ICERM
Tony Wu - Autoformalization with Large Language Models - IPAM at UCLA
Presenter
- Tony Wu
February 15, 2023
IPAM