BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Floris van Doorn
DTSTART:20260123T150000Z
DTEND:20260123T153000Z
DTSTAMP:20260420T025329Z
UID:LT2026/42
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/LT2026/42/">
 Lessons from the Carleson project</a>\nby Floris van Doorn as part of Lean
  Together 2026\n\n\nAbstract\nFrom June 2024 to July 2025 the Carleson pro
 ject ran\, a community-driven collaboration to formalize a modern generali
 zation of Carleson's theorem\, proven by the Bonn harmonic analysis group 
 in 2023. In this talk I will reflect on the project\, discuss what lessons
  we can learn from it\, and describe further formalization goals in harmon
 ic analysis.\n
LOCATION:https://researchseminars.org/talk/LT2026/42/
END:VEVENT
END:VCALENDAR