Start date cannot be after end date.
Haniel Barbosa - Better SMT proofs for certifying compliance and correctness - IPAM at UCLA
Presenter
- Haniel Barbosa
February 14, 2023
IPAM
Diophantine Geometry Introductory Workshop: On the Distribution of the Hodge Locus
Presenter
- Emmanuel Ullmo
February 7, 2023
SLMath
Jutta Rogal - Machine learning collective variables for sampling of structural transformations
Presenter
- Jutta Rogal
January 26, 2023
IPAM