Events
Upcoming
Past
Jul
23
Mathematics in Lean — special session at ICMS 2026
Meeting · July 23, 2026 · Waterloo, ON
→
Jul
20
Exploring constructions in mathematics using AI tools
Lecture · July 20 – 21, 2026 · Pittsburgh, PA
→
Jul
7
Summer School on Formalization of Mathematics
Summer School · July 7 – 18, 2026 · Pittsburgh, PA
→
Jun
22
Workshop on Algebraic Geometry and Machine Learning
Workshop · June 22 – 26, 2026 · Pittsburgh, PA
→
Apr
14
Milestones of Autonomous Mathematics
Workshop · April 14 – 18, 2026 · San Francisco, CA
→
Apr
2
NSF AIMing PI Meeting
Meeting · April 2 – 3, 2026 · Pittsburgh, PA
→
Jan
5
Mathematical Institutes Open House
Other · January 5, 2026 · Washington, DC
→
Jan
5
Efficient Search for Combinatorial Objects
Tutorial · January 5 – 6, 2026 · Washington, DC
→
Oct
6
Lean for PDEs, an ICARM & SLMath collaboration
Workshop · October 6 – 9, 2025 · Berkeley, CA
→