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
Thomas Swinburne - Functional simulations for uncertainty quantification and inverse problems
Presenter
- Thomas Swinburne
October 29, 2025
IPAM
Using Acceleration as a Service: Rethinking HPC Infrastrucutre in the AI Era
Presenter
- Thomas Schulthess
September 13, 2025
ICERM
Using Logic to Investigate Homeomorphism Groups of Manifolds
Presenter
- Thomas Koberda
April 1, 2025
IAS
Using h-Cobordisms to Detect Non-Trivial Homotopy Groups in Spaces of Legendrian
Presenter
- Thomas Kragh
December 13, 2024
IAS
