BEGIN:VCALENDAR
PRODID:-//eluceo/ical//2.0/EN
VERSION:2.0
CALSCALE:GREGORIAN
BEGIN:VEVENT
UID:cdf-event-03792212-8af9-430c-8bbc-ad7e1efa7c31
DTSTAMP:20260917T055858Z
SUMMARY:Relational Program Logic
DESCRIPTION:Other informations:\n- Speaker(s): Xavier Leroy\n- Lecture: Pro
 gram 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/lecture/program-equivalencies/
 relational-program-logic
DTSTART:20261217T083000Z
DTEND:20261217T100000Z
LOCATION:Salle 5\, Site Marcelin Berthelot
END:VEVENT
END:VCALENDAR