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:4975@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20231123T110000
DTEND;TZID=Europe/Paris:20231123T123000
DTSTAMP:20260107T154108Z
URL:https://www.i2m.univ-amu.fr/evenements/nominal-algebraic-coalgebraic-d
 ata-types-with-applications-to-infinitary-%ce%bb-calculi/
SUMMARY:Rémy Cerda (I2M): Nominal Algebraic-Coalgebraic Data Types\, with 
 Applications to Infinitary λ-Calculi
DESCRIPTION:Rémy Cerda: Une improvisation à partir de résultats récents
  adaptant les travaux de Kurz\, Petrişan\, Severi et de Vries à des type
 s mixtes algébriques et coalgébriques.
CATEGORIES:Séminaire,Logique et Interactions
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:STANDARD
DTSTART:20231029T020000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
END:STANDARD
END:VTIMEZONE
END:VCALENDAR