Start date cannot be after end date.
Bohua Zhan - Verifying symbolic computation in the HolPy theorem prover - IPAM at UCLA
Presenter
- Bohua Zhan
February 16, 2023
IPAM
Anne Baanen - Computing with or despite the computer - IPAM at UCLA
Presenter
- Anne Baanen
February 14, 2023
IPAM
Micaela Mayero - Overview of real numbers in theorem provers: application with real analysis in Coq
Presenter
- Micaela Mayero
February 15, 2023
IPAM
Modeling the Crosstalk for the High-throughput DNA Sequencing Data
Presenter
- Lin Wan
October 4, 2016
MBI
Ammar Hakim - On Constructing Numerical Schemes for a Hierarchy of Fusion Plasma Problems
Presenter
- Ammar Hakim
March 26, 2026
IPAM
Recent advances in shape and topology optimization by the level set method
Presenter
- Francois Jouve
June 10, 2016
IMA
Countering capillarity with electrokinetics: from micro-manipulation to Debye-layer diagnostics
Presenter
- Paul Steen
December 10, 2009
IMA
Mathematics And Computer Science Of Market And Mechanism Design Summer School: Lecture D
Presenter
- Irene Lo
June 29, 2023
SLMath
