BEGIN:VCALENDAR
PRODID:-//DI ENS//XSLT ical.xsl//EN
VERSION:2.0
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:Sémantique et applications à la vérification de programmes
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-L3-SEMVP-S2-20260206T-08:30-10:30@diplome.di.
 ens.fr
DTSTAMP:20260330T165613
INFO-L3-SEMVP-S2-20260206T-08:30-10:30
DTSTART;TZID=Europe/Paris:20260206T083000
DTEND;TZID=Europe/Paris:20260206T103000
SUMMARY;LANGUAGE=fr:Sémantique et applications à la vérification de pr
 ogrammes (Leçon)
LOCATION:E. Noether
END:VEVENT
BEGIN:VEVENT
UID:INFO-L3-SEMVP-S2-20260213T-08:30-10:30@diplome.di.
 ens.fr
DTSTAMP:20260330T165613
INFO-L3-SEMVP-S2-20260213T-08:30-10:30
DTSTART;TZID=Europe/Paris:20260213T083000
DTEND;TZID=Europe/Paris:20260213T103000
SUMMARY;LANGUAGE=fr:Sémantique et applications à la vérification de pr
 ogrammes (Leçon)
LOCATION:E. Noether
END:VEVENT
BEGIN:VEVENT
UID:INFO-L3-SEMVP-S2-20260220T-08:30-10:30@diplome.di.
 ens.fr
DTSTAMP:20260330T165613
INFO-L3-SEMVP-S2-20260220T-08:30-10:30
DTSTART;TZID=Europe/Paris:20260220T083000
DTEND;TZID=Europe/Paris:20260220T103000
SUMMARY;LANGUAGE=fr:Sémantique et applications à la vérification de pr
 ogrammes (Leçon)
LOCATION:E. Noether
END:VEVENT
BEGIN:VEVENT
UID:INFO-L3-SEMVP-S2-20260306T-08:30-10:30@diplome.di.
 ens.fr
DTSTAMP:20260330T165613
INFO-L3-SEMVP-S2-20260306T-08:30-10:30
DTSTART;TZID=Europe/Paris:20260306T083000
DTEND;TZID=Europe/Paris:20260306T103000
SUMMARY;LANGUAGE=fr:Sémantique et applications à la vérification de pr
 ogrammes (Leçon)
LOCATION:E. Noether
END:VEVENT
BEGIN:VEVENT
UID:INFO-L3-SEMVP-S2-20260313T-08:30-10:30@diplome.di.
 ens.fr
DTSTAMP:20260330T165613
INFO-L3-SEMVP-S2-20260313T-08:30-10:30
DTSTART;TZID=Europe/Paris:20260313T083000
DTEND;TZID=Europe/Paris:20260313T103000
SUMMARY;LANGUAGE=fr:Sémantique et applications à la vérification de pr
 ogrammes (Leçon)
LOCATION:E. Noether
END:VEVENT
BEGIN:VEVENT
UID:INFO-L3-SEMVP-S2-20260320T-08:30-10:30@diplome.di.
 ens.fr
DTSTAMP:20260330T165613
INFO-L3-SEMVP-S2-20260320T-08:30-10:30
DTSTART;TZID=Europe/Paris:20260320T083000
DTEND;TZID=Europe/Paris:20260320T103000
SUMMARY;LANGUAGE=fr:Sémantique et applications à la vérification de pr
 ogrammes (Leçon)
LOCATION:E. Noether
END:VEVENT
BEGIN:VEVENT
UID:INFO-L3-SEMVP-S2-20260327T-08:30-10:30@diplome.di.
 ens.fr
DTSTAMP:20260330T165613
INFO-L3-SEMVP-S2-20260327T-08:30-10:30
DTSTART;TZID=Europe/Paris:20260327T083000
DTEND;TZID=Europe/Paris:20260327T103000
SUMMARY;LANGUAGE=fr:Sémantique et applications à la vérification de pr
 ogrammes (Leçon)
LOCATION:E. Noether
END:VEVENT
BEGIN:VEVENT
UID:INFO-L3-SEMVP-S2-20260403T-08:30-10:30@diplome.di.
 ens.fr
DTSTAMP:20260330T165613
INFO-L3-SEMVP-S2-20260403T-08:30-10:30
DTSTART;TZID=Europe/Paris:20260403T083000
DTEND;TZID=Europe/Paris:20260403T103000
SUMMARY;LANGUAGE=fr:Sémantique et applications à la vérification de pr
 ogrammes (Leçon)
LOCATION:E. Noether
END:VEVENT
BEGIN:VEVENT
UID:INFO-L3-SEMVP-S2-20260410T-08:30-10:30@diplome.di.
 ens.fr
DTSTAMP:20260330T165613
INFO-L3-SEMVP-S2-20260410T-08:30-10:30
DTSTART;TZID=Europe/Paris:20260410T083000
DTEND;TZID=Europe/Paris:20260410T103000
SUMMARY;LANGUAGE=fr:Sémantique et applications à la vérification de pr
 ogrammes (Leçon)
LOCATION:E. Noether
END:VEVENT
BEGIN:VEVENT
UID:INFO-L3-SEMVP-S2-20260417T-08:30-10:30@diplome.di.
 ens.fr
DTSTAMP:20260330T165613
INFO-L3-SEMVP-S2-20260417T-08:30-10:30
DTSTART;TZID=Europe/Paris:20260417T083000
DTEND;TZID=Europe/Paris:20260417T103000
SUMMARY;LANGUAGE=fr:Sémantique et applications à la vérification de pr
 ogrammes (Leçon)
LOCATION:E. Noether
END:VEVENT
BEGIN:VEVENT
UID:INFO-L3-SEMVP-S2-20260424T-08:30-10:30@diplome.di.
 ens.fr
DTSTAMP:20260330T165613
INFO-L3-SEMVP-S2-20260424T-08:30-10:30
DTSTART;TZID=Europe/Paris:20260424T083000
DTEND;TZID=Europe/Paris:20260424T103000
SUMMARY;LANGUAGE=fr:Sémantique et applications à la vérification de pr
 ogrammes (Leçon)
LOCATION:E. Noether
END:VEVENT
BEGIN:VEVENT
UID:INFO-L3-SEMVP-S2-20260522T-08:30-10:30@diplome.di.
 ens.fr
DTSTAMP:20260330T165613
INFO-L3-SEMVP-S2-20260522T-08:30-10:30
DTSTART;TZID=Europe/Paris:20260522T083000
DTEND;TZID=Europe/Paris:20260522T103000
SUMMARY;LANGUAGE=fr:Sémantique et applications à la vérification de pr
 ogrammes (Leçon)
LOCATION:E. Noether
END:VEVENT
BEGIN:VEVENT
UID:INFO-L3-SEMVP-S2-20260529T-08:30-10:30@diplome.di.
 ens.fr
DTSTAMP:20260330T165613
INFO-L3-SEMVP-S2-20260529T-08:30-10:30
DTSTART;TZID=Europe/Paris:20260529T083000
DTEND;TZID=Europe/Paris:20260529T103000
SUMMARY;LANGUAGE=fr:Sémantique et applications à la vérification de pr
 ogrammes (Leçon)
LOCATION:E. Noether
END:VEVENT
BEGIN:VEVENT
UID:INFO-L3-SEMVP-S2-20260206T-10:30-12:15@diplome.di.
 ens.fr
DTSTAMP:20260330T165613
INFO-L3-SEMVP-S2-20260206T-10:30-12:15
DTSTART;TZID=Europe/Paris:20260206T103000
DTEND;TZID=Europe/Paris:20260206T121500
SUMMARY;LANGUAGE=fr:Sémantique et applications à la vérification de pr
 ogrammes (TD)
LOCATION:E. Noether
END:VEVENT
BEGIN:VEVENT
UID:INFO-L3-SEMVP-S2-20260213T-10:30-12:15@diplome.di.
 ens.fr
DTSTAMP:20260330T165613
INFO-L3-SEMVP-S2-20260213T-10:30-12:15
DTSTART;TZID=Europe/Paris:20260213T103000
DTEND;TZID=Europe/Paris:20260213T121500
SUMMARY;LANGUAGE=fr:Sémantique et applications à la vérification de pr
 ogrammes (TD)
LOCATION:E. Noether
END:VEVENT
BEGIN:VEVENT
UID:INFO-L3-SEMVP-S2-20260220T-10:30-12:15@diplome.di.
 ens.fr
DTSTAMP:20260330T165613
INFO-L3-SEMVP-S2-20260220T-10:30-12:15
DTSTART;TZID=Europe/Paris:20260220T103000
DTEND;TZID=Europe/Paris:20260220T121500
SUMMARY;LANGUAGE=fr:Sémantique et applications à la vérification de pr
 ogrammes (TD)
LOCATION:E. Noether
END:VEVENT
BEGIN:VEVENT
UID:INFO-L3-SEMVP-S2-20260306T-10:30-12:15@diplome.di.
 ens.fr
DTSTAMP:20260330T165613
INFO-L3-SEMVP-S2-20260306T-10:30-12:15
DTSTART;TZID=Europe/Paris:20260306T103000
DTEND;TZID=Europe/Paris:20260306T121500
SUMMARY;LANGUAGE=fr:Sémantique et applications à la vérification de pr
 ogrammes (TD)
LOCATION:E. Noether
END:VEVENT
BEGIN:VEVENT
UID:INFO-L3-SEMVP-S2-20260313T-10:30-12:15@diplome.di.
 ens.fr
DTSTAMP:20260330T165613
INFO-L3-SEMVP-S2-20260313T-10:30-12:15
DTSTART;TZID=Europe/Paris:20260313T103000
DTEND;TZID=Europe/Paris:20260313T121500
SUMMARY;LANGUAGE=fr:Sémantique et applications à la vérification de pr
 ogrammes (TD)
LOCATION:E. Noether
END:VEVENT
BEGIN:VEVENT
UID:INFO-L3-SEMVP-S2-20260320T-10:30-12:15@diplome.di.
 ens.fr
DTSTAMP:20260330T165613
INFO-L3-SEMVP-S2-20260320T-10:30-12:15
DTSTART;TZID=Europe/Paris:20260320T103000
DTEND;TZID=Europe/Paris:20260320T121500
SUMMARY;LANGUAGE=fr:Sémantique et applications à la vérification de pr
 ogrammes (TD)
LOCATION:E. Noether
END:VEVENT
BEGIN:VEVENT
UID:INFO-L3-SEMVP-S2-20260327T-10:30-12:15@diplome.di.
 ens.fr
DTSTAMP:20260330T165613
INFO-L3-SEMVP-S2-20260327T-10:30-12:15
DTSTART;TZID=Europe/Paris:20260327T103000
DTEND;TZID=Europe/Paris:20260327T121500
SUMMARY;LANGUAGE=fr:Sémantique et applications à la vérification de pr
 ogrammes (TD)
LOCATION:E. Noether
END:VEVENT
BEGIN:VEVENT
UID:INFO-L3-SEMVP-S2-20260403T-10:30-12:15@diplome.di.
 ens.fr
DTSTAMP:20260330T165613
INFO-L3-SEMVP-S2-20260403T-10:30-12:15
DTSTART;TZID=Europe/Paris:20260403T103000
DTEND;TZID=Europe/Paris:20260403T121500
SUMMARY;LANGUAGE=fr:Sémantique et applications à la vérification de pr
 ogrammes (TD)
LOCATION:E. Noether
END:VEVENT
BEGIN:VEVENT
UID:INFO-L3-SEMVP-S2-20260410T-10:30-12:15@diplome.di.
 ens.fr
DTSTAMP:20260330T165613
INFO-L3-SEMVP-S2-20260410T-10:30-12:15
DTSTART;TZID=Europe/Paris:20260410T103000
DTEND;TZID=Europe/Paris:20260410T121500
SUMMARY;LANGUAGE=fr:Sémantique et applications à la vérification de pr
 ogrammes (TD)
LOCATION:E. Noether
END:VEVENT
BEGIN:VEVENT
UID:INFO-L3-SEMVP-S2-20260417T-10:30-12:15@diplome.di.
 ens.fr
DTSTAMP:20260330T165613
INFO-L3-SEMVP-S2-20260417T-10:30-12:15
DTSTART;TZID=Europe/Paris:20260417T103000
DTEND;TZID=Europe/Paris:20260417T121500
SUMMARY;LANGUAGE=fr:Sémantique et applications à la vérification de pr
 ogrammes (TD)
LOCATION:E. Noether
END:VEVENT
BEGIN:VEVENT
UID:INFO-L3-SEMVP-S2-20260424T-10:30-12:15@diplome.di.
 ens.fr
DTSTAMP:20260330T165613
INFO-L3-SEMVP-S2-20260424T-10:30-12:15
DTSTART;TZID=Europe/Paris:20260424T103000
DTEND;TZID=Europe/Paris:20260424T121500
SUMMARY;LANGUAGE=fr:Sémantique et applications à la vérification de pr
 ogrammes (TD)
LOCATION:E. Noether
END:VEVENT
BEGIN:VEVENT
UID:INFO-L3-SEMVP-S2-20260522T-10:30-12:15@diplome.di.
 ens.fr
DTSTAMP:20260330T165613
INFO-L3-SEMVP-S2-20260522T-10:30-12:15
DTSTART;TZID=Europe/Paris:20260522T103000
DTEND;TZID=Europe/Paris:20260522T121500
SUMMARY;LANGUAGE=fr:Sémantique et applications à la vérification de pr
 ogrammes (TD)
LOCATION:E. Noether
END:VEVENT
BEGIN:VEVENT
UID:INFO-L3-SEMVP-S2-20260529T-10:30-12:15@diplome.di.
 ens.fr
DTSTAMP:20260330T165613
INFO-L3-SEMVP-S2-20260529T-10:30-12:15
DTSTART;TZID=Europe/Paris:20260529T103000
DTEND;TZID=Europe/Paris:20260529T121500
SUMMARY;LANGUAGE=fr:Sémantique et applications à la vérification de pr
 ogrammes (TD)
LOCATION:E. Noether
END:VEVENT
END:VCALENDAR