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:8691@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20250619T110000
DTEND;TZID=Europe/Paris:20250619T123000
DTSTAMP:20250602T185022Z
URL:https://www.i2m.univ-amu.fr/evenements/%e2%88%9e-categorical-models-of
 -linear-logic/
SUMMARY:Elies Harington (LIX & LIPN): ∞-categorical models of linear logi
 c
DESCRIPTION:Elies Harington: The notion of categorical model of linear logi
 c is now well studied and\nestablished around the notion of linear-non-lin
 ear adjunction\, which\nencompasses the previous notions of Seely categori
 es\, Lafont categories and\nlinear categories. In this talk\, I will show 
 counterparts to these categorical\nstructures in the realm of ∞-categori
 es\, which can thus be thought of as\n"weak"\, or "homotopical" models of 
 linear logic. If time permits\, I will show\nsome examples of such models 
 by analogy with more well-known categorical models\n(relations\, domains\,
  species\, vector spaces...).
CATEGORIES:Séminaire,Logique et Interactions
LOCATION:I2M Luminy - TPR2\, Salle de Séminaire 304-306 (3ème étage)\, 1
 63 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\, Sall
 e de Séminaire 304-306 (3ème étage):geo:0,0
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:DAYLIGHT
DTSTART:20250330T030000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
END:VCALENDAR