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:7220@i2m.univ-amu.fr DTSTART;TZID=Europe/Paris:20181017T000000 DTEND;TZID=Europe/Paris:20181018T000000 DTSTAMP:20241120T203453Z URL:https://www.i2m.univ-amu.fr/evenements/logique-homotopie-categories-lh c-2018-dans-le-cadre-du-gdr-im/ SUMMARY:Journées (FRUMAM\, St Charles\, Marseille): Logique\, Homotopie\, Catégories - LHC 2018 (GDR IM) DESCRIPTION:Journées: dans le cadre du GDR IM\n-\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).\n- \nSujets :\n- Théorie homotopique des types\n- Catégories en informatiqu e (modèles catégoriques\, calculs diagrammatiques\, catégories supérie ures\, cohérence)\n- Applications de la topologie algébrique en informat ique (catégories de modèles\, topologie algébrique dirigée et concurre nce)\n- Sémantiques (linéaires\, topologiques\, etc.) de la logique et d u calcul\n- Approches différentielles et calculs avec ressources\n- Réé criture (de dimension supérieure)\, calcul formel (polygraphes\, bases de Gröbner et généralisations)\n- Logique catégorique (théorie des topo s)\n- Opérades en sémantique et en combinatoire\n- Calculs pour l’info rmatique quantique\n- Théorie des modules de persistance\n- Homologie con structive\n- Méthodes de physique théorique en informatique\n…\n-\nOrg anisateurs :\n- Samuel MIMRAM (LIX\, Palaiseau)\n- Lionel VAUX (I2M\, Mars eille)\nPartenaires connus :\n- Centre National de la Recherche Scientifiq ue (CNRS)\n- GDR IM\n- FRUMAM\n\n \;\n\n-- 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:St Charles - FRUMAM\, 3\, place Victor Hugo\, Marseille\, 13003\, France X-APPLE-STRUCTURED-LOCATION;VALUE=URI;X-ADDRESS=3\, place Victor Hugo\, Mar seille\, 13003\, France;X-APPLE-RADIUS=100;X-TITLE=St Charles - FRUMAM:geo :0,0 END:VEVENT BEGIN:VTIMEZONE TZID:Europe/Paris X-LIC-LOCATION:Europe/Paris BEGIN:DAYLIGHT DTSTART:20180325T030000 TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST END:DAYLIGHT END:VTIMEZONE END:VCALENDAR