Workshop on Algebraic Geometry and Machine Learning
2026-06-22 - 2026-06-26 | Private: ICARM, 5000 Forbes Ave, Pittsburgh, PA, 15213, United States
Workshop Webpage

Summer School on Formalization of Mathematics
2026-07-07 - 2026-07-18
Workshop web page
