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:20260915T090000
DTEND;TZID=America/New_York:20261121T170000
DTSTAMP:20260723T182727Z
CREATED:20251023T141842Z
LAST-MODIFIED:20260723T182727Z
UID:10003825-1789462800-1795280400@cmsa.fas.harvard.edu
SUMMARY:Lagrangian Floer Theory and Applications Program
DESCRIPTION:Lagrangian Floer theory and Applications Program \nDates: September 15–November 21\, 2026 \nLocation: CMSA G10\, 20 Garden St.\, Cambridge MA 02138 \nThis thematic program will focus on recent developments in Lagrangian Floer theory and applications.  These include the development of family Floer theory\, degeneration techniques\, Floer homotopy theory in the Lagrangian case\, Floer theory in prime characteristic\, and applications to problems in singularity theory\, geometry and dynamics. \nA one-week workshop will be held near the start of the program (September 28 – October 2\, 2026)\, with the same title as the thematic program. \nOrganizers: Denis Auroux (Harvard)\, Jonny Evans (Lancaster)\, and Chris Woodward (Rutgers) \n  \nTo express interest in attending the workshop or program\, and to apply for funding if available\, please fill out the form.  \nFunding from the National Science Foundation may be available for US-based graduate students and postdoctoral fellows. \n  \n \nimage: Water Sky Garden\, Vancouver\nDate: 31 January 2010\, 12:57:46\nSource: Studio Echelman\nAuthor: Peter Vanderwarker\, Studio Echelman \n 
URL:https://cmsa.fas.harvard.edu/event/lft2026/
LOCATION:CMSA 20 Garden Street Cambridge\, Massachusetts 02138 United States
CATEGORIES:Programs
ATTACH;FMTTYPE=image/jpeg:https://cmsa.fas.harvard.edu/media/LFT_poster-1.jpg
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20261014T120000
DTEND;TZID=America/New_York:20261014T130000
DTSTAMP:20261009T183833Z
CREATED:20261009T141908Z
LAST-MODIFIED:20261009T183833Z
UID:10004055-1791979200-1791982800@cmsa.fas.harvard.edu
SUMMARY:CMSA Q&A Seminar: Discussion on OpenAI Math Papers
DESCRIPTION:CMSA Q&A Seminar \nTitle: Discussion on OpenAI Math Papers \nAbstract: You have likely seen that OpenAI released 722 math papers. For the Q&A meeting on Wednesday October 14\, we would like to gather to discuss them and hear informal\, short presentations (say 10 minutes maximum) from anyone who is engaging with at least one of the papers released by OpenAI. If any of the papers cover a subject you care about and you can take a look at it\, we would particularly like to hear your thoughts on: \n\n\n\nIs the mathematics correct?\nAre there truly new or creative ideas?\nIs there adequate and accurate citation of previous work?\nWhat is the quality of the exposition?\n\nWe hope to have lots of back-and-forth between the presenters and the audience. \nIf you know of an OpenAI paper that you would like to say a few words about\, please let us know. It would be great to have a list of people who would like to speak. We hope to see everyone there.\n\n\n  \n 
URL:https://cmsa.fas.harvard.edu/event/cmsaqa_101426/
LOCATION:Common Room\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:CMSA Q&A Seminar
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/2026/10/CMSA-Q-A-Seminar-10.14.2026.docx-scaled.png
END:VEVENT
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:20261014T163000
DTEND;TZID=America/New_York:20261014T173000
DTSTAMP:20261002T183533Z
CREATED:20260824T141230Z
LAST-MODIFIED:20261002T183533Z
UID:10003965-1791995400-1791999000@cmsa.fas.harvard.edu
SUMMARY:First Proof Batch 3: Mathematicians putting AI to the test
DESCRIPTION:AI for the Working Mathematician \nSpeaker: Lauren Williams\, Harvard \nTitle: First Proof Batch 3: Mathematicians putting AI to the test \nAbstract: First Proof is an initiative that aims to obtain a nuanced\, objective assessment about the capabilities of large language models to prove specified mathematical statements. I will report on the results of First Proof’s third batch of problems. We will be scoring AI-generated solutions based on (1) mathematical correctness\, (2) quality of exposition\, and (3) quality of attributions.
URL:https://cmsa.fas.harvard.edu/event/ai_101426/
LOCATION:CMSA Room G10\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:AI for the Working Mathematician,Colloquia & Seminar
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/2026/10/CMSA-AI-for-Mathematicians-Seminar-10.14.2026.docx-scaled.png
END:VEVENT
END:VCALENDAR