BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//wp-events-plugin.com//7.2.3.1//EN
TZID:Europe/Paris
X-WR-TIMEZONE:Europe/Paris
BEGIN:VEVENT
UID:7543@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20170523T110000
DTEND;TZID=Europe/Paris:20170523T120000
DTSTAMP:20241120T204403Z
URL:https://www.i2m.univ-amu.fr/evenements/syntaxe-et-semantique-des-diagr
 ammes-de-preuve/
SUMMARY:Matteo Acclavio (LMNO\, Université de Caen): Syntaxe et sémantiqu
 e des diagrammes de preuve
DESCRIPTION:Matteo Acclavio: TBA\n\nhttps://www.lmno.cnrs.fr/?q=equipes/agl
ATTACH;FMTTYPE=image/jpeg:https://www.i2m.univ-amu.fr/wp-content/uploads/2
 020/01/Matteo_Acclavio.jpg
CATEGORIES:Séminaire,Logique et Interactions
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:DAYLIGHT
DTSTART:20170326T030000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
END:VCALENDAR