BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Michal Mrugala (École normale supérieure de Lyon)
DTSTART:20260123T140000Z
DTEND:20260123T143000Z
DTSTAMP:20260420T025212Z
UID:LT2026/43
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/LT2026/43/">
 Formalizing Class Field Theory</a>\nby Michal Mrugala (École normale sup
 érieure de Lyon) as part of Lean Together 2026\n\n\nAbstract\nClass field
  theory is one of the big achievements of twentieth-century number theory.
  This talk describes ongoing work to formalize class field theory in Lean\
 , with a focus on progress made during a CMI workshop in July 2025. I will
  also share reflections on the workshop from the perspective of a particip
 ant.\n
LOCATION:https://researchseminars.org/talk/LT2026/43/
END:VEVENT
END:VCALENDAR