BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Hugo Herbelin (INRIA)
DTSTART:20250404T140000Z
DTEND:20250404T150000Z
DTSTAMP:20260423T052758Z
UID:CALS/28
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/CALS/28/">On
  the logical structure of some choice\, maximality\, bar induction\, and w
 ell-foundedness principles</a>\nby Hugo Herbelin (INRIA) as part of Cross 
 Alps Logic Seminar\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/CALS/28/
END:VEVENT
END:VCALENDAR