BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Maria Inés de Frutos-Fernández (Universidad Autónoma de Madrid)
DTSTART:20240416T170000Z
DTEND:20240416T180000Z
DTSTAMP:20260423T021113Z
UID:vantage/93
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/vantage/93/"
 >Local fields in Lean</a>\nby Maria Inés de Frutos-Fernández (Universida
 d Autónoma de Madrid) as part of VaNTAGe\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/vantage/93/
END:VEVENT
END:VCALENDAR