Sixth Annual Yip Lecture Date: April 23, 2026 Time: 4:00–5:00 pm ET Location: Harvard Science Center Hall A & via Zoom Webinar Speaker: Regina Barzilay, MIT Title: Can ML methods […]
Introduction to First Proof: A conversation Date: June 3, 2026 Time: 1:00–2:00 pm Location: via Webinar CMSA Director Dan Freed will lead a dialog with First Proof Editors Mohammed Abouzaid, […]
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 […]
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 […]