Start date cannot be after end date.
Formalization Of Mathematics Summer School: Polynomials and Algebraic Number Theory
Presenter
- Thomas Browning
June 15, 2023
SLMath
Formalization Of Mathematics Summer School: Formalizing Galois Theory
Presenter
- Thomas Browning
June 14, 2023
SLMath
Formalization Of Mathematics Summer School: Algebraic Structures (Chapter 6 of MIL)
Presenter
- Thomas Browning
June 8, 2023
SLMath
RALES: A Risk-Averse Augmented Lagrangian Equality-constrained SQP Method for Optimization with General Constraints
Presenter
- Thomas Surowiec
April 15, 2026
ICERM
Optimization-Ready Surrogates with Derivative-Informed Learning
Presenter
- Thomas O'Leary-Roseberry
April 13, 2026
ICERM
Recent Progress in Topological and Geometric Structures in Low Dimensions: Reconstructing a pseudo-Anosov flow from the orbit space
Presenter
- Thomas Barthelme
March 26, 2026
SLMath
Recent Progress in Topological and Geometric Structures in Low Dimensions: Ziggurats and taut foliations
Presenter
- Thomas Massoni
March 24, 2026
SLMath
Definable Quotient Spaces for Unlikely Intersection Problems
Presenter
- Thomas Scanlon
March 10, 2026
IAS
Critical Phenomena in the Collapse of Gravitational Waves
Presenter
- Thomas Baumgarte
January 5, 2026
ICERM
Symplectic Rigidity of Anosov Flows Under Orbit Equivalence
Presenter
- Thomas Massoni
December 9, 2025
IAS