BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Mathieu Hoyrup (INRIA)
DTSTART:20251107T150000Z
DTEND:20251107T160000Z
DTSTAMP:20260423T021146Z
UID:CALS/32
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/CALS/32/">Co
 mputable type: an overview</a>\nby Mathieu Hoyrup (INRIA) as part of Cross
  Alps Logic Seminar\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/CALS/32/
END:VEVENT
END:VCALENDAR