BEGIN:VCALENDAR
PRODID:-//DI ENS//XSLT ical.xsl//EN
VERSION:2.0
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:Lambda-calcul et catégories
X-WR-TIMEZONE:Europe/Paris
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:INFO-M1-MPRI120-S1-20250922T-08:30-10:30@diplome.d
 i.ens.fr
DTSTAMP:20260330T165613
INFO-M1-MPRI120-S1-20250922T-08:30-10:30
DTSTART;TZID=Europe/Paris:20250922T083000
DTEND;TZID=Europe/Paris:20250922T103000
SUMMARY;LANGUAGE=fr:Lambda-calcul et catégories (Leçon)
LOCATION:E. Noether
END:VEVENT
BEGIN:VEVENT
UID:INFO-M1-MPRI120-S1-20250929T-08:30-10:30@diplome.d
 i.ens.fr
DTSTAMP:20260330T165613
INFO-M1-MPRI120-S1-20250929T-08:30-10:30
DTSTART;TZID=Europe/Paris:20250929T083000
DTEND;TZID=Europe/Paris:20250929T103000
SUMMARY;LANGUAGE=fr:Lambda-calcul et catégories (Leçon)
LOCATION:E. Noether
END:VEVENT
BEGIN:VEVENT
UID:INFO-M1-MPRI120-S1-20251006T-08:30-10:30@diplome.d
 i.ens.fr
DTSTAMP:20260330T165613
INFO-M1-MPRI120-S1-20251006T-08:30-10:30
DTSTART;TZID=Europe/Paris:20251006T083000
DTEND;TZID=Europe/Paris:20251006T103000
SUMMARY;LANGUAGE=fr:Lambda-calcul et catégories (Leçon)
LOCATION:E. Noether
END:VEVENT
BEGIN:VEVENT
UID:INFO-M1-MPRI120-S1-20251013T-08:30-10:30@diplome.d
 i.ens.fr
DTSTAMP:20260330T165613
INFO-M1-MPRI120-S1-20251013T-08:30-10:30
DTSTART;TZID=Europe/Paris:20251013T083000
DTEND;TZID=Europe/Paris:20251013T103000
SUMMARY;LANGUAGE=fr:Lambda-calcul et catégories (Leçon)
LOCATION:E. Noether
END:VEVENT
BEGIN:VEVENT
UID:INFO-M1-MPRI120-S1-20251020T-08:30-10:30@diplome.d
 i.ens.fr
DTSTAMP:20260330T165613
INFO-M1-MPRI120-S1-20251020T-08:30-10:30
DTSTART;TZID=Europe/Paris:20251020T083000
DTEND;TZID=Europe/Paris:20251020T103000
SUMMARY;LANGUAGE=fr:Lambda-calcul et catégories (Leçon)
LOCATION:E. Noether
END:VEVENT
BEGIN:VEVENT
UID:INFO-M1-MPRI120-S1-20251103T-08:30-10:30@diplome.d
 i.ens.fr
DTSTAMP:20260330T165613
INFO-M1-MPRI120-S1-20251103T-08:30-10:30
DTSTART;TZID=Europe/Paris:20251103T083000
DTEND;TZID=Europe/Paris:20251103T103000
SUMMARY;LANGUAGE=fr:Lambda-calcul et catégories (Leçon)
LOCATION:E. Noether
END:VEVENT
BEGIN:VEVENT
UID:INFO-M1-MPRI120-S1-20251110T-08:30-10:30@diplome.d
 i.ens.fr
DTSTAMP:20260330T165613
INFO-M1-MPRI120-S1-20251110T-08:30-10:30
DTSTART;TZID=Europe/Paris:20251110T083000
DTEND;TZID=Europe/Paris:20251110T103000
SUMMARY;LANGUAGE=fr:Lambda-calcul et catégories (Leçon)
LOCATION:E. Noether
END:VEVENT
BEGIN:VEVENT
UID:INFO-M1-MPRI120-S1-20251117T-08:30-10:30@diplome.d
 i.ens.fr
DTSTAMP:20260330T165613
INFO-M1-MPRI120-S1-20251117T-08:30-10:30
DTSTART;TZID=Europe/Paris:20251117T083000
DTEND;TZID=Europe/Paris:20251117T103000
SUMMARY;LANGUAGE=fr:Lambda-calcul et catégories (Leçon)
LOCATION:E. Noether
END:VEVENT
BEGIN:VEVENT
UID:INFO-M1-MPRI120-S1-20251124T-08:30-10:30@diplome.d
 i.ens.fr
DTSTAMP:20260330T165613
INFO-M1-MPRI120-S1-20251124T-08:30-10:30
DTSTART;TZID=Europe/Paris:20251124T083000
DTEND;TZID=Europe/Paris:20251124T103000
SUMMARY;LANGUAGE=fr:Lambda-calcul et catégories (Leçon)
LOCATION:E. Noether
END:VEVENT
BEGIN:VEVENT
UID:INFO-M1-MPRI120-S1-20251201T-08:30-10:30@diplome.d
 i.ens.fr
DTSTAMP:20260330T165613
INFO-M1-MPRI120-S1-20251201T-08:30-10:30
DTSTART;TZID=Europe/Paris:20251201T083000
DTEND;TZID=Europe/Paris:20251201T103000
SUMMARY;LANGUAGE=fr:Lambda-calcul et catégories (Leçon)
LOCATION:E. Noether
END:VEVENT
BEGIN:VEVENT
UID:INFO-M1-MPRI120-S1-20251208T-08:30-10:30@diplome.d
 i.ens.fr
DTSTAMP:20260330T165613
INFO-M1-MPRI120-S1-20251208T-08:30-10:30
DTSTART;TZID=Europe/Paris:20251208T083000
DTEND;TZID=Europe/Paris:20251208T103000
SUMMARY;LANGUAGE=fr:Lambda-calcul et catégories (Leçon)
LOCATION:E. Noether
END:VEVENT
BEGIN:VEVENT
UID:INFO-M1-MPRI120-S1-20251215T-08:30-10:30@diplome.d
 i.ens.fr
DTSTAMP:20260330T165613
INFO-M1-MPRI120-S1-20251215T-08:30-10:30
DTSTART;TZID=Europe/Paris:20251215T083000
DTEND;TZID=Europe/Paris:20251215T103000
SUMMARY;LANGUAGE=fr:Lambda-calcul et catégories (Leçon)
LOCATION:E. Noether
END:VEVENT
BEGIN:VEVENT
UID:INFO-M1-MPRI120-S1-20260105T-08:30-10:30@diplome.d
 i.ens.fr
DTSTAMP:20260330T165613
INFO-M1-MPRI120-S1-20260105T-08:30-10:30
DTSTART;TZID=Europe/Paris:20260105T083000
DTEND;TZID=Europe/Paris:20260105T103000
SUMMARY;LANGUAGE=fr:Lambda-calcul et catégories (Leçon)
LOCATION:E. Noether
END:VEVENT
BEGIN:VEVENT
UID:INFO-M1-MPRI120-S1-20260112T-08:30-10:30@diplome.d
 i.ens.fr
DTSTAMP:20260330T165613
INFO-M1-MPRI120-S1-20260112T-08:30-10:30
DTSTART;TZID=Europe/Paris:20260112T083000
DTEND;TZID=Europe/Paris:20260112T103000
SUMMARY;LANGUAGE=fr:Lambda-calcul et catégories (Leçon)
LOCATION:E. Noether
END:VEVENT
BEGIN:VEVENT
UID:INFO-M1-MPRI120-S1-20260119T-08:30-10:30@diplome.d
 i.ens.fr
DTSTAMP:20260330T165613
INFO-M1-MPRI120-S1-20260119T-08:30-10:30
DTSTART;TZID=Europe/Paris:20260119T083000
DTEND;TZID=Europe/Paris:20260119T103000
SUMMARY;LANGUAGE=fr:Lambda-calcul et catégories (Leçon)
LOCATION:E. Noether
END:VEVENT
BEGIN:VEVENT
UID:INFO-M1-MPRI120-S1-20260126T-08:30-10:30@diplome.d
 i.ens.fr
DTSTAMP:20260330T165613
INFO-M1-MPRI120-S1-20260126T-08:30-10:30
DTSTART;TZID=Europe/Paris:20260126T083000
DTEND;TZID=Europe/Paris:20260126T103000
SUMMARY;LANGUAGE=fr:Lambda-calcul et catégories (Leçon)
LOCATION:E. Noether
END:VEVENT
BEGIN:VEVENT
UID:INFO-M1-MPRI120-S1-20250922T-10:30-12:15@diplome.d
 i.ens.fr
DTSTAMP:20260330T165613
INFO-M1-MPRI120-S1-20250922T-10:30-12:15
DTSTART;TZID=Europe/Paris:20250922T103000
DTEND;TZID=Europe/Paris:20250922T121500
SUMMARY;LANGUAGE=fr:Lambda-calcul et catégories (TD)
LOCATION:E. Noether
END:VEVENT
BEGIN:VEVENT
UID:INFO-M1-MPRI120-S1-20250929T-10:30-12:15@diplome.d
 i.ens.fr
DTSTAMP:20260330T165613
INFO-M1-MPRI120-S1-20250929T-10:30-12:15
DTSTART;TZID=Europe/Paris:20250929T103000
DTEND;TZID=Europe/Paris:20250929T121500
SUMMARY;LANGUAGE=fr:Lambda-calcul et catégories (TD)
LOCATION:E. Noether
END:VEVENT
BEGIN:VEVENT
UID:INFO-M1-MPRI120-S1-20251006T-10:30-12:15@diplome.d
 i.ens.fr
DTSTAMP:20260330T165613
INFO-M1-MPRI120-S1-20251006T-10:30-12:15
DTSTART;TZID=Europe/Paris:20251006T103000
DTEND;TZID=Europe/Paris:20251006T121500
SUMMARY;LANGUAGE=fr:Lambda-calcul et catégories (TD)
LOCATION:E. Noether
END:VEVENT
BEGIN:VEVENT
UID:INFO-M1-MPRI120-S1-20251013T-10:30-12:15@diplome.d
 i.ens.fr
DTSTAMP:20260330T165613
INFO-M1-MPRI120-S1-20251013T-10:30-12:15
DTSTART;TZID=Europe/Paris:20251013T103000
DTEND;TZID=Europe/Paris:20251013T121500
SUMMARY;LANGUAGE=fr:Lambda-calcul et catégories (TD)
LOCATION:E. Noether
END:VEVENT
BEGIN:VEVENT
UID:INFO-M1-MPRI120-S1-20251020T-10:30-12:15@diplome.d
 i.ens.fr
DTSTAMP:20260330T165613
INFO-M1-MPRI120-S1-20251020T-10:30-12:15
DTSTART;TZID=Europe/Paris:20251020T103000
DTEND;TZID=Europe/Paris:20251020T121500
SUMMARY;LANGUAGE=fr:Lambda-calcul et catégories (TD)
LOCATION:E. Noether
END:VEVENT
BEGIN:VEVENT
UID:INFO-M1-MPRI120-S1-20251103T-10:30-12:15@diplome.d
 i.ens.fr
DTSTAMP:20260330T165613
INFO-M1-MPRI120-S1-20251103T-10:30-12:15
DTSTART;TZID=Europe/Paris:20251103T103000
DTEND;TZID=Europe/Paris:20251103T121500
SUMMARY;LANGUAGE=fr:Lambda-calcul et catégories (TD)
LOCATION:E. Noether
END:VEVENT
BEGIN:VEVENT
UID:INFO-M1-MPRI120-S1-20251110T-10:30-12:15@diplome.d
 i.ens.fr
DTSTAMP:20260330T165613
INFO-M1-MPRI120-S1-20251110T-10:30-12:15
DTSTART;TZID=Europe/Paris:20251110T103000
DTEND;TZID=Europe/Paris:20251110T121500
SUMMARY;LANGUAGE=fr:Lambda-calcul et catégories (TD)
LOCATION:E. Noether
END:VEVENT
BEGIN:VEVENT
UID:INFO-M1-MPRI120-S1-20251117T-10:30-12:15@diplome.d
 i.ens.fr
DTSTAMP:20260330T165613
INFO-M1-MPRI120-S1-20251117T-10:30-12:15
DTSTART;TZID=Europe/Paris:20251117T103000
DTEND;TZID=Europe/Paris:20251117T121500
SUMMARY;LANGUAGE=fr:Lambda-calcul et catégories (TD)
LOCATION:E. Noether
END:VEVENT
BEGIN:VEVENT
UID:INFO-M1-MPRI120-S1-20251124T-10:30-12:15@diplome.d
 i.ens.fr
DTSTAMP:20260330T165613
INFO-M1-MPRI120-S1-20251124T-10:30-12:15
DTSTART;TZID=Europe/Paris:20251124T103000
DTEND;TZID=Europe/Paris:20251124T121500
SUMMARY;LANGUAGE=fr:Lambda-calcul et catégories (TD)
LOCATION:E. Noether
END:VEVENT
BEGIN:VEVENT
UID:INFO-M1-MPRI120-S1-20251201T-10:30-12:15@diplome.d
 i.ens.fr
DTSTAMP:20260330T165613
INFO-M1-MPRI120-S1-20251201T-10:30-12:15
DTSTART;TZID=Europe/Paris:20251201T103000
DTEND;TZID=Europe/Paris:20251201T121500
SUMMARY;LANGUAGE=fr:Lambda-calcul et catégories (TD)
LOCATION:E. Noether
END:VEVENT
BEGIN:VEVENT
UID:INFO-M1-MPRI120-S1-20251208T-10:30-12:15@diplome.d
 i.ens.fr
DTSTAMP:20260330T165613
INFO-M1-MPRI120-S1-20251208T-10:30-12:15
DTSTART;TZID=Europe/Paris:20251208T103000
DTEND;TZID=Europe/Paris:20251208T121500
SUMMARY;LANGUAGE=fr:Lambda-calcul et catégories (TD)
LOCATION:E. Noether
END:VEVENT
BEGIN:VEVENT
UID:INFO-M1-MPRI120-S1-20251215T-10:30-12:15@diplome.d
 i.ens.fr
DTSTAMP:20260330T165613
INFO-M1-MPRI120-S1-20251215T-10:30-12:15
DTSTART;TZID=Europe/Paris:20251215T103000
DTEND;TZID=Europe/Paris:20251215T121500
SUMMARY;LANGUAGE=fr:Lambda-calcul et catégories (TD)
LOCATION:E. Noether
END:VEVENT
BEGIN:VEVENT
UID:INFO-M1-MPRI120-S1-20260105T-10:30-12:15@diplome.d
 i.ens.fr
DTSTAMP:20260330T165613
INFO-M1-MPRI120-S1-20260105T-10:30-12:15
DTSTART;TZID=Europe/Paris:20260105T103000
DTEND;TZID=Europe/Paris:20260105T121500
SUMMARY;LANGUAGE=fr:Lambda-calcul et catégories (TD)
LOCATION:E. Noether
END:VEVENT
BEGIN:VEVENT
UID:INFO-M1-MPRI120-S1-20260112T-10:30-12:15@diplome.d
 i.ens.fr
DTSTAMP:20260330T165613
INFO-M1-MPRI120-S1-20260112T-10:30-12:15
DTSTART;TZID=Europe/Paris:20260112T103000
DTEND;TZID=Europe/Paris:20260112T121500
SUMMARY;LANGUAGE=fr:Lambda-calcul et catégories (TD)
LOCATION:E. Noether
END:VEVENT
BEGIN:VEVENT
UID:INFO-M1-MPRI120-S1-20260119T-10:30-12:15@diplome.d
 i.ens.fr
DTSTAMP:20260330T165613
INFO-M1-MPRI120-S1-20260119T-10:30-12:15
DTSTART;TZID=Europe/Paris:20260119T103000
DTEND;TZID=Europe/Paris:20260119T121500
SUMMARY;LANGUAGE=fr:Lambda-calcul et catégories (TD)
LOCATION:E. Noether
END:VEVENT
BEGIN:VEVENT
UID:INFO-M1-MPRI120-S1-20260126T-10:30-12:15@diplome.d
 i.ens.fr
DTSTAMP:20260330T165613
INFO-M1-MPRI120-S1-20260126T-10:30-12:15
DTSTART;TZID=Europe/Paris:20260126T103000
DTEND;TZID=Europe/Paris:20260126T121500
SUMMARY;LANGUAGE=fr:Lambda-calcul et catégories (TD)
LOCATION:E. Noether
END:VEVENT
END:VCALENDAR