Start date cannot be after end date.
Formalization Of Mathematics Summer School: Integration and Complex Analysis
Presenter
- Heather Macbeth
June 16, 2023
SLMath
Formalization Of Mathematics Summer School: Number Theory (Chapter 5 of MIL)
Presenter
- Heather Macbeth
June 7, 2023
SLMath
Formalization Of Mathematics Summer School: Basics (Chapter 2 of MIL)
Presenter
- Heather Macbeth
June 5, 2023
SLMath
Heather Macbeth - Algorithm and abstraction in formal mathematics - IPAM at UCLA
Presenter
- Heather Macbeth
February 17, 2023
IPAM
Heather Kulik - Exploring multi-million compound spaces w/ chemical accuracy using machine learning
Presenter
- Heather Kulik
March 27, 2023
IPAM
Heather Shappell - State change estimation in dynamic functional connectivity w/ semi-Markov models
Presenter
- Heather Shappell
August 29, 2022
IPAM
Experiences on Deploying a Photo Cloaking Privacy Tool
Presenter
- Heather Zheng
February 8, 2022
IMSI
Molecular design blueprints: materials and catalysts from new simulation and machine learning tools
Presenter
- Heather Kulik
October 15, 2019
IPAM