BEGIN:VCALENDAR
PRODID:-//eluceo/ical//2.0/EN
VERSION:2.0
CALSCALE:GREGORIAN
BEGIN:VEVENT
UID:cdf-event-bd9d3320-1c73-48ef-8c32-da6fc22a9573
DTSTAMP:20260917T154403Z
SUMMARY:Théorèmes de point fixe et coinduction sans coinduction
DESCRIPTION:Informations complémentaires :\n- Intervenant(s) : Damien Pous
 \n- Séminaire: Équivalences de programmes\n- Événement associé à :\n
 -- Xavier Leroy\, chaire Sciences du logiciel\n- Accès : En libre accès\
 , dans la limite des places disponibles\n- Accéder à la page de l'évén
 ement : https://www.college-de-france.fr/fr/agenda/seminaire/equivalences-
 de-programmes/theoremes-de-point-fixe-et-coinduction-sans-coinduction
DTSTART:20261126T101500Z
DTEND:20261126T111500Z
LOCATION:Amphithéâtre Mireille Delmas-Marty (salle 5)\, Site Marcelin Ber
 thelot
END:VEVENT
END:VCALENDAR