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:5013@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20240111T110000
DTEND;TZID=Europe/Paris:20240111T123000
DTSTAMP:20260107T153549Z
URL:https://www.i2m.univ-amu.fr/evenements/construction-de-grothendieck-po
 ur-les-omega-categories-strictes/
SUMMARY:Léonard Guetta (Utrecht): Construction de Grothendieck pour les om
 ega-catégories strictes
DESCRIPTION:Léonard Guetta: Le but de cet exposé est de présenter un tra
 vail récent en\ncollaboration avec Dimitri Ara et Andrea Gagna\, dans leq
 uel nous avons\nétudié les propriétés homotopiques de la construction 
 de Grothendieck\nω-catégorique. À cette fin\, je présenterai la constr
 uction de\nGrothendieck ω-catégorique\, que je motiverai comme une inter
 prétation\nsémantique dans les ω-catégories de la somme dépendante. P
 uis\, dans un\nsecond temps\, je rappellerai brièvement le cadre homotopi
 que nécessaire\npour comprendre le résultat principal que nous avons dé
 montré avec\nDimitri et Andrea.
CATEGORIES:Séminaire,Logique et Interactions
LOCATION:I2M Luminy - TPR2\, Amphithéâtre Herbrand 130-134 (1er étage)\,
  163 Avenue de Luminy\, Marseille\, 13009\, France
X-APPLE-STRUCTURED-LOCATION;VALUE=URI;X-ADDRESS=163 Avenue de Luminy\, Mars
 eille\, 13009\, France;X-APPLE-RADIUS=100;X-TITLE=I2M Luminy - TPR2\, Amph
 ithéâtre Herbrand 130-134 (1er étage):geo:0,0
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