BEGIN:VCALENDAR
PRODID:-//eluceo/ical//2.0/EN
VERSION:2.0
CALSCALE:GREGORIAN
BEGIN:VEVENT
UID:cdf-event-7d8c5c84-de71-4766-97d3-5a32ceb16838
DTSTAMP:20260917T154405Z
SUMMARY:Logique relationnelle probabiliste et ses applications à la crypto
 graphie
DESCRIPTION:Informations complémentaires :\n- Intervenant(s) : Benjamin Gr
 égoire\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énement : https://www.college-de-france.fr/fr/agenda/seminaire/equiva
 lences-de-programmes/logique-relationnelle-probabiliste-et-ses-application
 s-la-cryptographie
DTSTART:20261203T101500Z
DTEND:20261203T111500Z
LOCATION:Amphithéâtre Mireille Delmas-Marty (salle 5)\, Site Marcelin Ber
 thelot
END:VEVENT
END:VCALENDAR