Start date cannot be after end date.
Multisummability Relative to Certain Quasianalytic Classes
Presenter
- Patrick Speissegger
May 28, 2026
IAS
The latent variable proximal point algorithm for variational problems with inequality constraints
Presenter
- Patrick Farrell
April 13, 2026
ICERM
Energy-adaptive Riemannian gradient methods for computing rotating Bose-Einstein condensates
Presenter
- Patrick Henning
February 4, 2025
IMSI
Patrick Shafto - Common Ground in Cooperative Communication - IPAM at UCLA
Presenter
- Patrick Shafto
October 15, 2024
IPAM
Formalization Of Mathematics Summer School: Formalizing Sphere Eversion
Presenter
- Patrick Massot
June 16, 2023
SLMath
Formalization Of Mathematics Summer School: Hierarchies (Chapter 7 of MIL) Continued, and Differential Calculus (Chapter 9 of MIL)
Presenter
- Patrick Massot
June 13, 2023
SLMath
Formalization Of Mathematics Summer School: Commutative Algebra and Linear Algebra
Presenter
- Patrick Massot
June 12, 2023
SLMath
Formalization Of Mathematics Summer School: Topology (Chapter 7 of MIL)
Presenter
- Patrick Massot
June 9, 2023
SLMath
Formalization Of Mathematics Summer School: Introduction to Formalized Mathematics
Presenter
- Patrick Massot
June 5, 2023
SLMath
Patrick Massot - Formal mathematics for mathematicians and mathematics students - IPAM at UCLA
Presenter
- Patrick Massot
February 15, 2023
IPAM