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:6316@i2m.univ-amu.fr DTSTART;TZID=Europe/Paris:20210930T110000 DTEND;TZID=Europe/Paris:20210930T123000 DTSTAMP:20241120T201401Z URL:https://www.i2m.univ-amu.fr/evenements/une-lecture-technique-de-la-syn taxe-transcendantale/ SUMMARY:Boris ENG (LIPN\, Paris 13): Une lecture technique de la syntaxe tr anscendantale DESCRIPTION:Boris ENG: Dans cet exposé\, je présente une interprétation technique du projet de syntaxe transcendantale de Girard que j'ai réalis ée avec Thomas Seiller. Ce projet esquisse un modèle de calcul se trouva nt à l'intersection de la programmation logique et des modèles de pavage . Girard propose d'utiliser ce modèle comme brique de base pour parler de la logique (linéaire) comme émergente plutôt que primitive. Ce projet est motivé par l'espoir d'une meilleure compréhension du logiquement cor rect.\nL’exposé sera retransmis ici :\n\n  https://greenlight.lal.cl oud.math.cnrs.fr/b/lio-hdc-jef\n\n\n \; CATEGORIES:Séminaire,Logique et Interactions LOCATION:I2M Luminy - Ancienne BU\, Salle Séminaire2 (RdC)\, 163 Avenue de Luminy\, 13009 Marseille\, France\, X-APPLE-STRUCTURED-LOCATION;VALUE=URI;X-ADDRESS=163 Avenue de Luminy\, 1300 9 Marseille\, France\, ;X-APPLE-RADIUS=100;X-TITLE=I2M Luminy - Ancienne B U\, Salle Séminaire2 (RdC):geo:0,0 END:VEVENT BEGIN:VTIMEZONE TZID:Europe/Paris X-LIC-LOCATION:Europe/Paris BEGIN:DAYLIGHT DTSTART:20210328T030000 TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST END:DAYLIGHT END:VTIMEZONE END:VCALENDAR