BEGIN:VCALENDAR
PRODID:-//eluceo/ical//2.0/EN
VERSION:2.0
CALSCALE:GREGORIAN
BEGIN:VEVENT
UID:cdf-event-408d1911-8594-43a5-bb37-bc9a92680511
DTSTAMP:20261022T230807Z
SUMMARY:Concurrency Theory: From Its Origins Towards a Science of Processes
DESCRIPTION:Informations complémentaires :\n- Intervenant(s) : Davide Sang
 iorgi\n- Séminaire: Équivalences de programmes\n- Événement associé 
 à :\n-- Xavier Leroy\, chaire Sciences du logiciel\n- Accès : En libre a
 ccè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/equival
 ences-de-programmes/concurrency-theory-from-its-origins-towards-science-of
 -processes
DTSTART:20261105T101500Z
DTEND:20261105T111500Z
LOCATION:Amphithéâtre Mireille-Delmas-Marty\, Site Marcelin-Berthelot
END:VEVENT
BEGIN:VEVENT
UID:cdf-event-e114a37d-9c9d-440f-9d36-9fd6983f408b
DTSTAMP:20261022T230807Z
SUMMARY:L'équivalence d'interaction
DESCRIPTION:Informations complémentaires :\n- Intervenant(s) : Adrienne La
 ncelot\n- Séminaire: Équivalences de programmes\n- Événement associé 
 à :\n-- Xavier Leroy\, chaire Sciences du logiciel\n- Accès : En libre a
 ccè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/equival
 ences-de-programmes/equivalence-interaction
DTSTART:20261112T101500Z
DTEND:20261112T111500Z
LOCATION:Amphithéâtre Mireille-Delmas-Marty\, Site Marcelin-Berthelot
END:VEVENT
BEGIN:VEVENT
UID:cdf-event-1fed6ccf-dbee-4fea-a636-c54745913e68
DTSTAMP:20261022T230807Z
SUMMARY:Sémantiques de jeux des langages de programmation
DESCRIPTION:Informations complémentaires :\n- Intervenant(s) : Pierre Clai
 rambault\n- Séminaire: Équivalences de programmes\n- Événement associ
 é à :\n-- Xavier Leroy\, chaire Sciences du logiciel\n- Accès : En libr
 e 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/equi
 valences-de-programmes/semantiques-de-jeux-des-langages-de-programmation
DTSTART:20261119T101500Z
DTEND:20261119T111500Z
LOCATION:Amphithéâtre Mireille-Delmas-Marty\, Site Marcelin-Berthelot
END:VEVENT
BEGIN:VEVENT
UID:cdf-event-bd9d3320-1c73-48ef-8c32-da6fc22a9573
DTSTAMP:20261022T230807Z
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\, Site Marcelin-Berthelot
END:VEVENT
BEGIN:VEVENT
UID:cdf-event-7d8c5c84-de71-4766-97d3-5a32ceb16838
DTSTAMP:20261022T230807Z
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\, Site Marcelin-Berthelot
END:VEVENT
BEGIN:VEVENT
UID:cdf-event-a649f202-3697-4f3e-857c-3adce10d96c2
DTSTAMP:20261022T230807Z
SUMMARY:La sémantique de l'allocation dynamique : des noms frais aux faisc
 eaux
DESCRIPTION:Informations complémentaires :\n- Intervenant(s) : Guilhème J
 aber\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/equivalen
 ces-de-programmes/la-semantique-de-allocation-dynamique-des-noms-frais-aux
 -faisceaux
DTSTART:20261210T101500Z
DTEND:20261210T111500Z
LOCATION:Amphithéâtre Mireille-Delmas-Marty\, Site Marcelin-Berthelot
END:VEVENT
END:VCALENDAR