-
A General framework for mainstream logics
March 24, 2025 - 3:30pm
-
Diophantine stability for elliptic curves in quadratic extensions
March 21, 2025 - 3:30pm
-
Spatial Pattern Formation in Eco-Evolutionary Games with Environment-Driven Motion
March 20, 2025 - 4:00pm
-
"Group actions on 3-manifolds and Nielsen realization"
March 20, 2025 - 3:30pm
-
Propagation of smallness near codimension 2 for gradients of harmonic functions
March 20, 2025 - 3:30pm
-
The generalized Hilbert 10th Problem is resolved
March 19, 2025 - 3:30pm to 4:30pm
-
Metalinear vector bundles and their characteristic classesTBA
March 18, 2025 - 3:30pm
-
Pair correlation for the Sine-beta process for even beta
March 18, 2025 - 3:30pm
-
Proof Complexity and “quantitative” model theory (via trees, polynomials, and games)
March 17, 2025 - 4:30pm
-
Partial Resolutions of Affine Symplectic Singularities
March 17, 2025 - 3:30pm