Start date cannot be after end date.
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
Patrick Riley - Symbolic Regression for Discovery of a DFT Functional - IPAM at UCLA
Presenter
- Patrick Riley
January 23, 2023
IPAM
Learning from data through the lens of (ocean) models, surrogates, and their derivatives
Presenter
- Patrick Heimbach
September 22, 2022
IMSI
Patrick Shafto - Cooperative communication as Belief Transport
Presenter
- Patrick Shafto
February 18, 2022
IPAM
Low-latency Noise Mitigation Techniques in Gravitational-wave Detector Data Using Auxiliary Sensor Information
Presenter
- Patrick Godwin
December 3, 2021
IPAM
Mathematical foundations for human-level intelligence (Part 1): Cooperative communication as belief transport
Presenter
- Patrick Shafto
November 22, 2021
IAS