Start date cannot be after end date.
Verified Mathematical Reasoning with Lean and Language Models
Presenter
- Robert Joseph George
April 26, 2025
ICERM
Plenary Presentation: I DO (NOT) Belong: Experiences of Black Women and Girls in Mathematics Education
Presenter
- Nicole Joseph
March 16, 2017
SLMath
Tutorial: Uncertainty Quantification in FWI using Ensemble method
Presenter
- Romain Brossier
May 2, 2017
IPAM
Rotating dynamo turbulence: theoretical and numerical insights
Presenter
- Nathanael Schaeffer
October 31, 2014
IPAM
The adjoint-state method applied to the kinematic source inversion: from a benchmark to a real earthquake
Presenter
- Jean Virieux
May 5, 2017
IPAM
Pathways Workshop: Kinetic Theory & Stochastic Partial Differential Equations: What happens when bosons are mixed with fermions
Presenter
- Natasa Pavlovic
August 22, 2025
SLMath
Connections Workshop: Extremal Combinatorics: Spanning trees in pseudorandom graphs via sorting networks
Presenter
- Natasha Morrison
February 6, 2025
SLMath
Time-energy uncertainty relation and quantum error correction for noisy quantum metrology
Presenter
- Philippe Faist
October 17, 2024
IMSI