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:505@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20141211T140000
DTEND;TZID=Europe/Paris:20141211T150000
DTSTAMP:20141126T130000Z
URL:https://www.i2m.univ-amu.fr/evenements/theorie-des-types-cubique/
SUMMARY: (...): Théorie des types cubique
DESCRIPTION:: Je présenterai des travaux en cours (en collaboration avec D
 an Licata) sur le développement d’une théorie des types cubique\, le b
 ut étant d’obtenir une théorie des types ayant de bonnes propriétés 
 calculatoires (normalisation forte\, canonicité\, décidabilité du typag
 e) tout en étant compatible avec la théorie des types homotopiques\, en 
 particulier avec l’axiome d’univalence et les types inductifs supérie
 urs. Ces travaux sont égalements très liés aux travaux de Thierry Coqua
 nd\, Simon Huber et Marc Bézem sur un modèle constructif de la théorie 
 des types homotopiques dans les ensembles cubiques.[http://math.unice.fr/l
 aboratoire/fiche&id=556]
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:STANDARD
DTSTART:20141026T020000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
END:STANDARD
END:VTIMEZONE
END:VCALENDAR