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:5931@i2m.univ-amu.fr DTSTART;TZID=Europe/Paris:20221012T000000 DTEND;TZID=Europe/Paris:20221013T000000 DTSTAMP:20241120T200659Z URL:https://www.i2m.univ-amu.fr/evenements/journees-lhc-2022-logique-homot opie-categories-4eme-edition/ SUMMARY:Journées (ENS Paris Saclay): Journées LHC 2022 — Logique\, Ho motopie\, Catégories (4ème édition) DESCRIPTION:Journées: JOURNÉES du groupe de travail LHC\n\n\nLa quatrièm e édition des journées LHC aura lieu les mercredi 12 et jeudi 13 octobre 2022\, à l’ENS Paris Saclay\, en salle 1Z68.\nDepuis quelques décenni es\, des rapprochements profonds ont été établis entre certains concept s et outils de l’informatique théorique (logique\, réécriture\, etc.) et ceux issus de la topologie (théorie de l’homotopie\, topologie alg ébrique\, etc.)\, en utilisant les catégories comme langage commun (topo s\, catégories de modèles\, etc.).\nL’objectif du groupe LHC est de ra ssembler\, d’animer et de représenter la communauté française de cher cheurs travaillant à développer et exploiter ces liens\, ou cherchant à en établir de nouveaux\, en vue d’étudier les fondations théoriques des langages de programmation\, de la logique\, et de leurs sémantiques.\ nReprésenter de manière effective les structures mathématiques en jeu\, c’est-à-dire en donner le langage interne\, permet de faciliter le rai sonnement sur ces structures (c’est le programme de la théorie homotopi que des types)\, voire de résoudre des problèmes par le calcul (d’inva riants homologiques\, par exemple).\nRéciproquement\, ces structures enri chissent le paysage des modèles mathématiques de la logique et du calcul \, guidant la généralisation de concepts d’informatique théorique bie n établis (réécriture en dimension supérieure\, par exemple)\, ou la m ise au point de nouveaux outils syntaxiques (la représentation explicite des ressources en lambda-calcul\, via la notion de dérivée formelle).\nV oici une liste non-exhaustive de thèmes qui trouvent naturellement leur p lace au sein de ce groupe :\n\n\n théorie homotopique des types\n caté gories en informatique (modèles catégoriques\, calculs diagrammatiques\, catégories supérieures\, cohérence)\n applications de la topologie al gébrique en informatique (catégories de modèles\, topologie algébrique dirigée et concurrence)\n sémantiques (linéaires\, topologiques\, etc .) de la logique et du calcul\n approches différentielles et calculs ave c ressources\n réécriture (de dimension supérieure)\, calcul formel (p olygraphes\, bases de Gröbner et généralisations)\n logique catégoriq ue (théorie des topos)\n approches catégoriques de la théorie des auto mates\n opérades en sémantique et en combinatoire\n calculs pour l’i nformatique quantique\n théorie des modules de persistance\n homologie constructive\n méthodes de physique théorique en informatique\n …\n\ nOrateurs invités :\n\n Andrea Gagna : Fibrations of (∞\,2)-categories \n Valeria Vignudelli : Equational theories and monads for probabilistic effects\n\nProgramme\nMercredi 12 octobre\n\n13h30-15h: Andrea Gagna\n\n15 h-15h30: El Mehdi Cherradi\n\n15h30-16h00: Paul-André Melliès\n\n16h00-1 6h10: pause\n\n16h10-16h40: Louis Lemonnier\n\n16h40-17h10: Vincent Moreau \n\n17h10-17h40: Titouan Carette\n\nJeudi 13 octobre\n\n9h30-10h00: Giti O midvar\n\n10h00-10h30: Tom Hirschowitz\n\n10h30-11h: Matteo Acclavio\n\n11 h-11h15: pause\n\n11h15-12h45: Valeria Vignudelli\n\n12h45-14h: déjeuner\ n\n14h-14h30: Damiano Mazza\n\n14h30-15h00: Yves Lafont\n\n15h00-15h30: Si mon Forest\n\n15h30-15h40: pause\n\n15h40-16h10: Éric Goubault\n\n16h10-1 6h40: Roman Kniazev\n\n \;\n\nOrganisation : Valentin Blot\, Samuel Mi mram et Lionel Vaux. ATTACH;FMTTYPE=image/jpeg:https://www.i2m.univ-amu.fr/wp-content/uploads/2 018/10/image_aglr-ldp-hal-01452678-polygraph-crossing_split-fig.14-acclavi o-x750.jpg CATEGORIES:Journée(s),Manifestation scientifique LOCATION:ENS Paris Saclay\, École normale supérieure Paris-Saclay - 4\, a venue des Sciences \, Gif-sur-Yvette\, France\, 91190\, France X-APPLE-STRUCTURED-LOCATION;VALUE=URI;X-ADDRESS=École normale supérieure Paris-Saclay - 4\, avenue des Sciences \, Gif-sur-Yvette\, France\, 91190 \, France;X-APPLE-RADIUS=100;X-TITLE=ENS Paris Saclay:geo:0,0 END:VEVENT BEGIN:VTIMEZONE TZID:Europe/Paris X-LIC-LOCATION:Europe/Paris BEGIN:DAYLIGHT DTSTART:20220327T030000 TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST END:DAYLIGHT END:VTIMEZONE END:VCALENDAR