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:44@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20131010T140000
DTEND;TZID=Europe/Paris:20131010T150000
DTSTAMP:20210826T103702Z
URL:https://www.i2m.univ-amu.fr/evenements/linterpretation-calculatoire-du
 -forcing-en-realisabilite-classique-lexemple-des-arbres-de-herbrand/
SUMMARY:Lionel Rieg (ENSIIE\, Évry): L'interprétation calculatoire du for
 cing en réalisabilité classique: l'exemple des arbres de Herbrand
DESCRIPTION:Lionel Rieg: 
CATEGORIES:Séminaire,Logique et Interactions
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:DAYLIGHT
DTSTART:20130331T030000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
END:VCALENDAR