BEGIN:VCALENDAR
PRODID:-//eluceo/ical//2.0/EN
VERSION:2.0
CALSCALE:GREGORIAN
BEGIN:VEVENT
UID:cdf-event-408d1911-8594-43a5-bb37-bc9a92680511
DTSTAMP:20261002T073702Z
SUMMARY:Concurrency Theory: From Its Origins Toward a Science of Processes
DESCRIPTION:Other informations:\n- Speaker(s): Davide Sangiorgi\n- Seminar:
  Program Equivalencies\n- See also:\n-- Xavier Leroy\, chair Software Scie
 nce\n- Access: Open to all\, subject to availability\n- See the event webp
 age: https://www.college-de-france.fr/en/agenda/seminar/program-equivalenc
 ies/concurrency-theory-from-its-origins-toward-science-of-processes
DTSTART:20261105T101500Z
DTEND:20261105T111500Z
LOCATION:Mireille Delmas-Marty Amphitheater\, Marcelin-Berthelot Site
END:VEVENT
BEGIN:VEVENT
UID:cdf-event-e114a37d-9c9d-440f-9d36-9fd6983f408b
DTSTAMP:20261002T073702Z
SUMMARY:Interaction Equivalence
DESCRIPTION:Other informations:\n- Speaker(s): Adrienne Lancelot\n- Seminar
 : Program Equivalencies\n- See also:\n-- Xavier Leroy\, chair Software Sci
 ence\n- Access: Open to all\, subject to availability\n- See the event web
 page: https://www.college-de-france.fr/en/agenda/seminar/program-equivalen
 cies/interaction-equivalence
DTSTART:20261112T101500Z
DTEND:20261112T111500Z
LOCATION:Mireille Delmas-Marty Amphitheater\, Marcelin-Berthelot Site
END:VEVENT
BEGIN:VEVENT
UID:cdf-event-1fed6ccf-dbee-4fea-a636-c54745913e68
DTSTAMP:20261002T073702Z
SUMMARY:Semantics of Programming Language Games
DESCRIPTION:Other informations:\n- Speaker(s): Pierre Clairambault\n- Semin
 ar: Program Equivalencies\n- See also:\n-- Xavier Leroy\, chair Software S
 cience\n- Access: Open to all\, subject to availability\n- See the event w
 ebpage: https://www.college-de-france.fr/en/agenda/seminar/program-equival
 encies/semantics-of-programming-language-games
DTSTART:20261119T101500Z
DTEND:20261119T111500Z
LOCATION:Mireille Delmas-Marty Amphitheater\, Marcelin-Berthelot Site
END:VEVENT
BEGIN:VEVENT
UID:cdf-event-bd9d3320-1c73-48ef-8c32-da6fc22a9573
DTSTAMP:20261002T073702Z
SUMMARY:Fixed-Point Theorems and Coinduction Without Coinduction
DESCRIPTION:Other informations:\n- Speaker(s): Damien Pous\n- Seminar: Prog
 ram 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/seminar/program-equivalencies/f
 ixed-point-theorems-and-coinduction-without-coinduction
DTSTART:20261126T101500Z
DTEND:20261126T111500Z
LOCATION:Mireille Delmas-Marty Amphitheater\, Marcelin-Berthelot Site
END:VEVENT
BEGIN:VEVENT
UID:cdf-event-7d8c5c84-de71-4766-97d3-5a32ceb16838
DTSTAMP:20261002T073702Z
SUMMARY:Probabilistic Relational Logic and Its Applications to Cryptography
DESCRIPTION:Other informations:\n- Speaker(s): Benjamin Grégoire\n- Semina
 r: Program Equivalencies\n- See also:\n-- Xavier Leroy\, chair Software Sc
 ience\n- Access: Open to all\, subject to availability\n- See the event we
 bpage: https://www.college-de-france.fr/en/agenda/seminar/program-equivale
 ncies/probabilistic-relational-logic-and-its-applications-to-cryptography
DTSTART:20261203T101500Z
DTEND:20261203T111500Z
LOCATION:Mireille Delmas-Marty Amphitheater\, Marcelin-Berthelot Site
END:VEVENT
BEGIN:VEVENT
UID:cdf-event-a649f202-3697-4f3e-857c-3adce10d96c2
DTSTAMP:20261002T073702Z
SUMMARY:The Semantics of Dynamic Allocation: From Fresh Names to Bundles
DESCRIPTION:Other informations:\n- Speaker(s): Guilhème Jaber\n- Seminar: 
 Program Equivalencies\n- See also:\n-- Xavier Leroy\, chair Software Scien
 ce\n- Access: Open to all\, subject to availability\n- See the event webpa
 ge: https://www.college-de-france.fr/en/agenda/seminar/program-equivalenci
 es/the-semantics-of-dynamic-allocation-from-fresh-names-to-bundles
DTSTART:20261210T101500Z
DTEND:20261210T111500Z
LOCATION:Mireille Delmas-Marty Amphitheater\, Marcelin-Berthelot Site
END:VEVENT
BEGIN:VEVENT
UID:cdf-event-604df62e-3899-42c7-af8f-b6565adea20a
DTSTAMP:20261002T073702Z
SUMMARY:Program Equivalencies (7)
DESCRIPTION:Other informations:\n- Speaker(s): Xavier Leroy\n- Seminar: 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/seminar/equivalences-de-progra
 mmes/program-equivalencies-7
DTSTART:20261217T101500Z
DTEND:20261217T111500Z
LOCATION:Mireille Delmas-Marty Amphitheater\, Marcelin-Berthelot Site
END:VEVENT
END:VCALENDAR