BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//CMSA - ECPv6.15.18//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:20240310T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20241103T060000
END:STANDARD
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
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20251022T120000
DTEND;TZID=America/New_York:20251022T130000
DTSTAMP:20260425T085210
CREATED:20251002T141005Z
LAST-MODIFIED:20251003T205211Z
UID:10003804-1761134400-1761138000@cmsa.fas.harvard.edu
SUMMARY:CMSA Q&A Seminar: Thomas Grimm
DESCRIPTION:CMSA Q&A Seminar \nSpeaker: Thomas Grimm\, Utrecht & CMSA \nTopic: What is o-minimality and what is it good for?
URL:https://cmsa.fas.harvard.edu/event/cmsaqa_102225/
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/CMSA-Q-A-Seminar-10.22.2025-scaled.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20251022T140000
DTEND;TZID=America/New_York:20251022T150000
DTSTAMP:20260425T085210
CREATED:20251008T132005Z
LAST-MODIFIED:20251008T133142Z
UID:10003808-1761141600-1761145200@cmsa.fas.harvard.edu
SUMMARY:The Carleson project: A collaborative formalization
DESCRIPTION:New Technologies in Mathematics Seminar \nSpeaker: María Inés de Frutos Fernández\, Mathematical Institute\, University of Bonn \nTitle: The Carleson project: A collaborative formalization \nAbstract: A well-known result in Fourier analysis establishes that the partial Fourier sums of a smooth periodic function $f$ converge uniformly to $f$\, but the situation is a lot more subtle for e.g. continuous functions. However\, in 1966 Carleson proved that they do converge at almost all points for $L^2$ periodic functions on the real line. Carleson’s proof is famously hard to read\, and there are no known easy proofs of this theorem. As a large collaborative project\, we have formalized in Lean a generalization of Carleson’s theorem in the setting of doubling metric measure spaces (proven in 2023)\, and Carleson’s original result as a corollary. In this talk I will give an overview of the project\, with a focus on how the collaboration was organized. \n 
URL:https://cmsa.fas.harvard.edu/event/newtech_102225/
LOCATION:Virtual
CATEGORIES:New Technologies in Mathematics Seminar
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-NTM-Seminar-10.22.2025-scaled.png
END:VEVENT
END:VCALENDAR