Introduction to First Proof: A conversation Date: June 3, 2026 Time: 1:00–2:00 pm Location: via Webinar Harvard CMSA Director Dan Freed will lead a dialogue with First Proof Editors Mohammed Abouzaid (Stanford), Nikhil Srivastava (UC Berkeley), Rachel Ward (UT Austin), and Lauren Williams (Harvard) to explore the origins and goals of First Proof, sample […]
First Proof, Second Batch: Results Date: June 10, 2026 Time: 1:00–2:00 pm ET Location: via Webinar The First Proof Editors will present the results of their Second Batch benchmark testing on AI systems. First Proof Editors Mohammed Abouzaid (Stanford) Nikhil Srivastava (UC Berkeley) Rachel Ward (UT Austin) Lauren Williams (Harvard)
Big Data Conference 2026 Dates: Sep. 3–4, 2026 Location: Harvard University CMSA, 20 Garden Street, Cambridge & via Zoom The Big Data Conference features speakers from the Harvard community as well as scholars from across the globe, with talks focusing on computer science, statistics, math and physics, and economics. Register to attend in person Register […]
The Geometry of Machine Learning 2026 Dates: September 8–11, 2026 Location: Harvard CMSA, Room G10, 20 Garden Street, Cambridge MA 02138 Organizers: Michael R. Douglas (CMSA) and Mike Freedman (CMSA) Details TBA Support provided by Logical Intelligence.
CMSA/Tsinghua Math-Science Literature Lecture Date: September 16, 2026 Time: 9:00 - 10:30 am ET Location: CMSA G10, 20 Garden Street & via Zoom Webinar Speaker: Robert E. Gompf, University of Texas, Austin Beginning in Spring 2020, the CMSA began hosting a lecture series on literature in the mathematical sciences, with a focus on significant […]
Workshop on Lagrangian Floer theory and applications Dates: September 28 – October 2, 2026 Location: CMSA G10, 20 Garden St., Cambridge MA 02138 This workshop is part of the Lagrangian Floer theory and applications Program Organizers: Denis Auroux (Harvard), Jonny Evans (Lancaster), and Chris Woodward (Rutgers) details tba
Northeast Conference on Categorical Methods This conference is intended to bring together researchers in all areas of mathematics and mathematical physics whose work involves the use of methods from categorical algebra, abstract homotopy theory, and higher category theory. Our goal is to showcase new, exciting research and offer an avenue for researchers from the Northeast […]