BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//CMSA - ECPv6.18.0//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-ORIGINAL-URL:https://live-hu-cmsa-222.pantheonsite.io
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@live-hu-cmsa-222.pantheonsite.io
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://live-hu-cmsa-222.pantheonsite.io/event/lft2026/
LOCATION:CMSA 20 Garden Street Cambridge\, Massachusetts 02138 United States
CATEGORIES:Programs
ATTACH;FMTTYPE=image/jpeg:https://live-hu-cmsa-222.pantheonsite.io/media/LFT_poster-1.jpg
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20261028T120000
DTEND;TZID=America/New_York:20261028T130000
DTSTAMP:20261020T142656Z
CREATED:20261006T135023Z
LAST-MODIFIED:20261020T142656Z
UID:10004054-1793188800-1793192400@live-hu-cmsa-222.pantheonsite.io
SUMMARY:CMSA Q&A Seminar
DESCRIPTION:CMSA Q&A Seminar \nSpeaker: tba \n  \n 
URL:https://live-hu-cmsa-222.pantheonsite.io/event/cmsaqa_102826/
LOCATION:Common Room\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:CMSA Q&A Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20261028T140000
DTEND;TZID=America/New_York:20261028T150000
DTSTAMP:20261014T203530Z
CREATED:20260729T194034Z
LAST-MODIFIED:20261014T203530Z
UID:10004015-1793196000-1793199600@live-hu-cmsa-222.pantheonsite.io
SUMMARY:The IEANTN Project: Automation and Mathematical Understanding
DESCRIPTION:New Technologies in Mathematics Seminar \nSpeaker: Xinjie He\, UCLA \nTitle: The IEANTN Project: Automation and Mathematical Understanding \nAbstract: Explicit analytic number theory combines conceptual arguments with extensive bookkeeping and numerical computation\, often drawing on long chains of results across many papers. The Integrated Explicit Analytic Number Theory Network (IEANTN) aims to organize this literature into a living network whose dependencies and supporting evidence are explicit. \nIn this talk\, I will discuss how we redesigned IEANTN from its 1.0 version\, which put everything in a single Lean repository that was hard to maintain and rebuild as auto-formalization produces increasingly large proofs\, to its current 2.0 version\, which solves this problem by separating readable mathematical statements from verified proofs and recording different levels of justification. \nFinally\, I will discuss what we hope to automate and what we want to understand ourselves. By organizing the literature into a network\, we hope to make the mathematical ideas and relationships easier to see\, and leave the detailed bookkeeping to machines. \n 
URL:https://live-hu-cmsa-222.pantheonsite.io/event/newtech_102826/
LOCATION:Virtual
CATEGORIES:New Technologies in Mathematics Seminar
ATTACH;FMTTYPE=image/png:https://live-hu-cmsa-222.pantheonsite.io/media/2026/07/CMSA-NTM-Seminar-10.28.2026.docx-scaled.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20261028T163000
DTEND;TZID=America/New_York:20261028T173000
DTSTAMP:20261021T135857Z
CREATED:20260729T161111Z
LAST-MODIFIED:20261021T135857Z
UID:10003967-1793205000-1793208600@live-hu-cmsa-222.pantheonsite.io
SUMMARY:A 'Deep Blue-Kasparov moment for mathematics'
DESCRIPTION:AI for the Working Mathematician \nSpeaker: Tristan Buckmaster\, NYU \nTitle: A ‘Deep Blue-Kasparov moment for mathematics’ \nAbstract: In this talk I will describe recent work with Levent Alpöge proving the blow-up for smooth solutions to the incompressible Euler equations and the broader implications that such results have of the study of mathematics.
URL:https://live-hu-cmsa-222.pantheonsite.io/event/ai_102826/
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://live-hu-cmsa-222.pantheonsite.io/media/2026/07/CMSA-AI-for-Mathematicians-Seminar-10.28.2026.docx-scaled.png
END:VEVENT
END:VCALENDAR