BEGIN:VCALENDAR
PRODID:-//eluceo/ical//2.0/EN
VERSION:2.0
CALSCALE:GREGORIAN
BEGIN:VEVENT
UID:cdf-event-bd9d3320-1c73-48ef-8c32-da6fc22a9573
DTSTAMP:20261007T071903Z
SUMMARY:Fixed-Point Theorems and Coinduction Without Coinduction
DESCRIPTION:Other informations:\n- Speaker(s): Damien Pous\n- Seminar: Prog
 ram Equivalencies\n- See also:\n-- Xavier Leroy\, chair Software Science\n
 - Access: Open to all\, subject to availability\n- See the event webpage: 
 https://www.college-de-france.fr/en/agenda/seminar/program-equivalencies/f
 ixed-point-theorems-and-coinduction-without-coinduction
DTSTART:20261126T101500Z
DTEND:20261126T111500Z
LOCATION:Mireille-Delmas-Marty Amphitheater\, Marcelin-Berthelot Site
END:VEVENT
END:VCALENDAR