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:6243@i2m.univ-amu.fr DTSTART;TZID=Europe/Paris:20211202T163000 DTEND;TZID=Europe/Paris:20211202T180000 DTSTAMP:20241120T200943Z URL:https://www.i2m.univ-amu.fr/evenements/comment-developper-une-preuve-e n-serie-entiere-ou-presque/ SUMMARY:Rémy Cerda (I2M\, Aix-Marseille Université): Comment développer une preuve en série entière (ou presque) DESCRIPTION:Rémy Cerda: Au début des années 80\, Girard invente la logiq ue linéaire qui raffine les logiques (classique\, intuitionniste) existan tes en introduisant une notion de ressources : en gros\, les hypothèses d 'une preuve sont des ressources que l'on ne peut pas consommer n'importe c omment. Ce nouveau formalisme repose sur une traduction des preuves (ou de s programmes informatiques) en fonctions analytiques\, qui a permis d'intr oduire successivement des notions de différentiation et de développement de Taylor (des preuves toujours) au début des années 2000.\n\nOn essaie ra de rendre un peu moins ésotériques ces objets et les liens qu'ils ent retiennent. Puis on manquera de temps pour expliquer comment j'utilise tou t ça dans ma thèse.\n\n \;\n\nLe séminaire des doctorant⋅es de l' I2M à Luminy regroupe chaque semaine les doctorant⋅es du site autour d' un exposé plus ou moins (in)formel\, dans un cadre convivial. Il est évi demment ouvert aux étudiant⋅es de master et aux doctorant⋅es d'autres laboratoires (LIS\, CPT...).\n\nPour trouver la salle :\n\n C'est dans l e bâtiment de « l'ancienne BU »\, auquel on accède par un escalier en colimaçon situé sur la face sud.\n Une fois dans le bâtiment\, rejoind re le grand escalier central (prendre à gauche\, puis à droite\, puis en core à droite...) et descendre au rez-de-chaussée.\n La salle « Sémin aire 2 » est au fond à gauche en sortant de l'escalier.\n\nAttention : l 'entrée dans le labo nécessite un badge. En cas de souci (de type : êtr e bloqué⋅e dehors)\, appeler le 04 91 26 95 91. CATEGORIES:Séminaire,Rencontres doctorant⋅es I2M-CPT 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:STANDARD DTSTART:20211031T020000 TZOFFSETFROM:+0200 TZOFFSETTO:+0100 TZNAME:CET END:STANDARD END:VTIMEZONE END:VCALENDAR