BEGIN:VCALENDAR
PRODID:-//eluceo/ical//2.0/EN
VERSION:2.0
CALSCALE:GREGORIAN
BEGIN:VEVENT
UID:cdf-event-6f16ea6b-37a4-44e1-b6a6-6b81bc4b773a
DTSTAMP:20261008T004812Z
SUMMARY:Introduction à l'équivalence et au raffinement entre programmes
DESCRIPTION:Informations complémentaires :\n- Intervenant(s) : Xavier Lero
 y\n- Cours: Équivalences de programmes\n- Événement associé à :\n-- X
 avier Leroy\, chaire Sciences du logiciel\n- Accès : En libre accès\, da
 ns la limite des places disponibles\n- Accéder à la page de l'événemen
 t : https://www.college-de-france.fr/fr/agenda/cours/equivalences-de-progr
 ammes/introduction-equivalence-et-au-raffinement-entre-programmes
DTSTART:20261105T083000Z
DTEND:20261105T100000Z
LOCATION:Amphithéâtre Mireille-Delmas-Marty\, Site Marcelin-Berthelot
END:VEVENT
END:VCALENDAR