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:8641@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20250424T110000
DTEND;TZID=Europe/Paris:20250424T123000
DTSTAMP:20250422T082354Z
URL:https://www.i2m.univ-amu.fr/evenements/de-la-logique-categorique-a-la-
 complexite-descriptive-categorique-lsc/
SUMMARY:Baptiste Chanus (LIPN\, Sorbonne Paris Nord): De la logique catégo
 rique à la complexité descriptive catégorique [LSC]
DESCRIPTION:Baptiste Chanus: La catégorie syntaxique est une construction 
 qui permet de raisonner sur la\nlogique à l'aide des outils de la théori
 e des catégories. D'un autre côté\, la\ncomplexité descriptive fait le
  lien entre l'expressivité du langage logique et\nla complexité algorith
 mique des problèmes. Je vais introduire les construction\nliées à la ca
 tégorie syntaxique et montrer comment on peut parler de\ncomplexité comm
 e en utilisant des propriétés catégoriques.
CATEGORIES:Séminaire,Logique et Interactions
LOCATION:Luminy - LIS\, salle 04.05\, Campus de Luminy\, Marseille\, France
X-APPLE-STRUCTURED-LOCATION;VALUE=URI;X-ADDRESS=Campus de Luminy\, Marseill
 e\, France;X-APPLE-RADIUS=100;X-TITLE=Luminy - LIS\, salle 04.05: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