BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//CMSA - ECPv6.15.20//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:CMSA
X-ORIGINAL-URL:https://cmsa.fas.harvard.edu
X-WR-CALDESC:Events for CMSA
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:America/New_York
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20250309T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20251102T060000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20260308T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20261101T060000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20270314T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20271107T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20260603T130000
DTEND;TZID=America/New_York:20260603T140000
DTSTAMP:20260525T011327
CREATED:20260521T140712Z
LAST-MODIFIED:20260522T195725Z
UID:10003940-1780491600-1780495200@cmsa.fas.harvard.edu
SUMMARY:Introduction to First Proof: A conversation
DESCRIPTION:Introduction to First Proof: A conversation \nDate: June 3\, 2026 \nTime: 1:00–2:00 pm \nLocation: via Webinar \n  \nHarvard 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 some of their current work\, and discuss their future plans.  This hour-long conversation will give a window into the fast-moving and deep interaction of Mathematics and AI. \n  \n 
URL:https://cmsa.fas.harvard.edu/event/fp_6326/
LOCATION:Virtual
CATEGORIES:Event,Public Lecture
ATTACH;FMTTYPE=image/jpeg:https://cmsa.fas.harvard.edu/media/Lockup-slate-scaled.jpg
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20260610T130000
DTEND;TZID=America/New_York:20260610T140000
DTSTAMP:20260525T011327
CREATED:20260521T140824Z
LAST-MODIFIED:20260522T195720Z
UID:10003941-1781096400-1781100000@cmsa.fas.harvard.edu
SUMMARY:First Proof\, Second Batch: Results
DESCRIPTION:First Proof\, Second Batch: Results \nDate: June 10\, 2026 \nTime: 1:00–2:00 pm ET \nLocation: via Webinar \nThe First Proof Editors will present the results of their Second Batch benchmark testing on AI systems. \n  \nFirst Proof Editors \n\nMohammed Abouzaid (Stanford)\nNikhil Srivastava (UC Berkeley)\nRachel Ward (UT Austin)\nLauren Williams (Harvard)
URL:https://cmsa.fas.harvard.edu/event/fp_61026/
LOCATION:Virtual
CATEGORIES:Event,Public Lecture
ATTACH;FMTTYPE=image/jpeg:https://cmsa.fas.harvard.edu/media/Lockup-slate-scaled.jpg
END:VEVENT
END:VCALENDAR