BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:María Inés de Frutos Fernández
DTSTART:20260120T133000Z
DTEND:20260120T140000Z
DTSTAMP:20260420T025624Z
UID:LT2026/10
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/LT2026/10/">
 Formalizing the universal divided power algebra</a>\nby María Inés de Fr
 utos Fernández as part of Lean Together 2026\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/LT2026/10/
END:VEVENT
END:VCALENDAR