Home
About
Resources
Overview
Formalization
Automated Reasoning
Machine Learning
Neural Proving
Events
People
Team
Advisory Boards
Positions
Participate
Workshops
Summer Schools
Collaborative Visits
Visitor Information
Donate
Select Page
« All Events
Summer School on Formalization of Mathematics
July 7, 2026
-
July 18, 2026
«
Workshop on Algebraic Geometry and Machine Learning
Add to calendar
Google Calendar
iCalendar
Outlook 365
Outlook Live
Details
Start:
July 7, 2026
End:
July 18, 2026
Venue
Private: ICARM
5000 Forbes Ave
Pittsburgh
,
PA
15213
United States
+ Google Map
View Venue Website
