Name: Summer School on Formalization of Mathematics
Start: 2026-07-07T00:00:00-04:00
End: 2026-07-18T23:59:59-04:00

April 2026
NSF AIMing PI Meeting

April 2 - April 3

ICARM 5000 Forbes Ave, Pittsburgh, PA, United States
Milestones of Autonomous Mathematics

April 14 - April 18

https://icarm.io/project/milestones-of-autonomous-mathematics/
June 2026
Workshop on Algebraic Geometry and Machine Learning

June 22 - June 26

ICARM 5000 Forbes Ave, Pittsburgh, PA, United States

Workshop Webpage
July 2026
Summer School on Formalization of Mathematics

July 7 - July 18

ICARM 5000 Forbes Ave, Pittsburgh, PA, United States

Workshop web page