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:6944@i2m.univ-amu.fr DTSTART;TZID=Europe/Paris:20191016T000000 DTEND;TZID=Europe/Paris:20191017T000000 DTSTAMP:20241120T202632Z URL:https://www.i2m.univ-amu.fr/evenements/journees-logique-homotopie-cate gories-lhc-2019/ SUMMARY:Journées (Campus de la Doua\, Lyon): Logique\, Homotopie\, Catégo ries (LHC 2019) DESCRIPTION:Journées: 2ème édition\, dans le cadre du GDR IM\n-\nDepuis quelques décennies\, des rapprochements profonds ont été établis entre certains concepts 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 lang age commun (topos\, catégories de modèles\, etc.).\nL’objectif du grou pe LHC est de rassembler\, d’animer et de représenter la communauté fr ançaise de chercheurs travaillant à développer et exploiter ces liens\, ou cherchant à en établir de nouveaux\, en vue d’étudier les fondati ons théoriques des langages de programmation\, de la logique\, et de leur s sémantiques.\nReprésenter de manière effective les structures mathém atiques en jeu\, c’est-à-dire en donner le langage interne\, permet de faciliter le raisonnement sur ces structures (c’est le programme de la t héorie homotopique des types)\, voire de résoudre des problèmes par le calcul (d’invariants homologiques\, par exemple).\nRéciproquement\, ces structures enrichissent le paysage des modèles mathématiques de la logi que et du calcul\, guidant la généralisation de concepts d’informatiqu e théorique bien établis (réécriture en dimension supérieure\, par ex emple)\, ou la mise au point de nouveaux outils syntaxiques (la représent ation explicite des ressources en lambda-calcul\, via la notion de dériv ée formelle).\nVoici une liste non-exhaustive de thèmes qui trouvent nat urellement leur place au sein de ce groupe :\n\n\n théorie homotopique d es types\n catégories en informatique (modèles catégoriques\, calculs diagrammatiques\, catégories supérieures\, cohérence)\n applications d e la topologie algébrique en informatique (catégories de modèles\, topo logie algébrique dirigée et concurrence)\n sémantiques (linéaires\, t opologiques\, etc.) de la logique et du calcul\n approches différentiell es et calculs avec ressources\n réécriture (de dimension supérieure)\, calcul formel (polygraphes\, bases de Gröbner et généralisations)\n l ogique catégorique (théorie des topos)\n approches catégoriques de la théorie des automates\n opérades en sémantique et en combinatoire\n c alculs pour l’informatique quantique\n théorie des modules de persista nce\n homologie constructive\n méthodes de physique théorique en infor matique\n …\n\nTout comme le groupe de travail Scalp\, le GT LHC hérit e des groupes de travail GeoCal et LAC du GdR IM.\n\nOrganisation\nRespons ables\n\n Philippe Malbos (ICJ)\n Samuel Mimram (LIX)\n Lionel Vaux (I2 M)\n\nPartenaires connus :\n- Centre National de la Recherche Scientifique (CNRS)\n- GDR IM\n- FRUMAM\n\n \;\n\n-- CATEGORIES:Journée(s),Manifestation scientifique END:VEVENT BEGIN:VTIMEZONE TZID:Europe/Paris X-LIC-LOCATION:Europe/Paris BEGIN:DAYLIGHT DTSTART:20190331T030000 TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST END:DAYLIGHT END:VTIMEZONE END:VCALENDAR