BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//CMSA - ECPv6.17.5.1//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
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:20261014T140000
DTEND;TZID=America/New_York:20261014T150000
DTSTAMP:20260929T165604Z
CREATED:20260729T193937Z
LAST-MODIFIED:20260929T165604Z
UID:10004013-1791986400-1791990000@cmsa.fas.harvard.edu
SUMMARY:Prove2Me: Formalizing Fermat Last Theorem and Beyond
DESCRIPTION:New Technologies in Mathematics Seminar \nSpeaker: Tianyi Peng\, Decision\, Risk\, and Operations Division\, Columbia Business School \nTitle: Prove2Me: Formalizing Fermat Last Theorem and Beyond \nAbstract: Proof assistants such as Lean 4 promise the paradigm of formally verified mathematics\, but large-scale formalization projects have faced major barriers to entry\, including the need for expertise in formal verification (as well as the underlying mathematics) and the significant time required for writing formal proofs. AI coding agents have dramatically reduced these barriers; human users can now use natural language to prompt agents to write complex proofs in Lean. This opens up the intriguing possibility of internet-scale mathematical collaboration involving both humans and AI agents\, where correctness is machine-checked.
URL:https://cmsa.fas.harvard.edu/event/newtech_101426/
LOCATION:Virtual
CATEGORIES:New Technologies in Mathematics Seminar
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/2026/07/CMSA-NTM-Seminar-10.14.2026.docx-scaled.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20261028T140000
DTEND;TZID=America/New_York:20261028T150000
DTSTAMP:20260928T190712Z
CREATED:20260729T194034Z
LAST-MODIFIED:20260928T190712Z
UID:10004015-1793196000-1793199600@cmsa.fas.harvard.edu
SUMMARY:New Technologies in Mathematics Seminar
DESCRIPTION:New Technologies in Mathematics Seminar \nSpeaker: Xinjie He\, UCLA
URL:https://cmsa.fas.harvard.edu/event/newtech_102826/
LOCATION:Virtual
CATEGORIES:New Technologies in Mathematics Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20261029T090000
DTEND;TZID=America/New_York:20261029T103000
DTSTAMP:20261008T203059Z
CREATED:20260810T222440Z
LAST-MODIFIED:20261008T203059Z
UID:10004038-1793264400-1793269800@cmsa.fas.harvard.edu
SUMMARY:CMSA/Tsinghua Math-Science Literature Lecture: Peng Shan\, Tsinghua University
DESCRIPTION:CMSA/Tsinghua Math-Science Literature Lecture \nDate: Thursday\, October 29\, 2026 \nTime: 9:00 – 10:30 am ET \nLocation: online via Zoom Webinar \n  \nPlease register to attend \nZoom Webinar registration \n  \nSpeaker: Peng Shan\, Tsinghua University \nTitle TBA \n  \n \n  \nOrganizers: Dan Freed\, Harvard Math & CMSA and Shing-Tung Yau\, Tsinghua University \n  \n\nBeginning in Spring 2020\, the CMSA began hosting a lecture series on literature in the mathematical sciences\, with a focus on significant developments in mathematics that have influenced the discipline\, and the lifetime accomplishments of significant scholars. \n  \n 
URL:https://cmsa.fas.harvard.edu/event/mathscilit2026_ps/
LOCATION:Virtual
CATEGORIES:Math Science Literature Lecture Series,Public Lecture,Special Lectures
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20261111T140000
DTEND;TZID=America/New_York:20261111T150000
DTSTAMP:20261002T132412Z
CREATED:20261002T130921Z
LAST-MODIFIED:20261002T132412Z
UID:10004053-1794405600-1794409200@cmsa.fas.harvard.edu
SUMMARY:New Technologies in Mathematics Seminar
DESCRIPTION:New Technologies in Mathematics Seminar \nSpeaker: Johannes von Oswald (Google)
URL:https://cmsa.fas.harvard.edu/event/newtech_111126/
LOCATION:Virtual
CATEGORIES:New Technologies in Mathematics Seminar
END:VEVENT
END:VCALENDAR