Évènement

Journées
ENS Paris Saclay
https://www.lix.polytechnique.fr/Labo/Samuel.Mimram/LHC/journees/2022/06/16/journees.html

Date(s) : 12/10/2022 - 13/10/2022   iCal
0h00

JOURNÉES du groupe de travail LHC

La quatrième édition des journées LHC aura lieu les mercredi 12 et jeudi 13 octobre 2022, à l’ENS Paris Saclay, en salle 1Z68.

Depuis 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 langage commun (topos, catégories de modèles, etc.).

L’objectif du groupe LHC est de rassembler, d’animer et de représenter la communauté française de chercheurs 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.

Représenter de manière effective les structures mathématiques en jeu, c’est-à-dire en donner le langage interne, permet de faciliter le raisonnement sur ces structures (c’est le programme de la théorie homotopique des types), voire de résoudre des problèmes par le calcul (d’invariants homologiques, par exemple).

Réciproquement, ces structures enrichissent le paysage des modèles mathématiques de la logique et du calcul, guidant la généralisation de concepts d’informatique théorique bien établis (réécriture en dimension supérieure, par exemple), ou la mise au point de nouveaux outils syntaxiques (la représentation explicite des ressources en lambda-calcul, via la notion de dérivée formelle).

Voici une liste non-exhaustive de thèmes qui trouvent naturellement leur place au sein de ce groupe :

• théorie homotopique des types
• catégories en informatique (modèles catégoriques, calculs diagrammatiques, catégories supérieures, cohérence)
• applications de la topologie algébrique en informatique (catégories de modèles, topologie algébrique dirigée et concurrence)
• sémantiques (linéaires, topologiques, etc.) de la logique et du calcul
• approches différentielles et calculs avec ressources
• réécriture (de dimension supérieure), calcul formel (polygraphes, bases de Gröbner et généralisations)
• logique catégorique (théorie des topos)
• approches catégoriques de la théorie des automates
• opérades en sémantique et en combinatoire
• calculs pour l’informatique quantique
• théorie des modules de persistance
• homologie constructive
• méthodes de physique théorique en informatique
• …

Orateurs invités :

• Andrea Gagna : Fibrations of (∞,2)-categories
• Valeria Vignudelli : Equational theories and monads for probabilistic effects

Programme

Mercredi 12 octobre

13h30-15h: Andrea Gagna

15h-15h30: El Mehdi Cherradi

15h30-16h00: Paul-André Melliès

16h00-16h10: pause

16h10-16h40: Louis Lemonnier

16h40-17h10: Vincent Moreau

17h10-17h40: Titouan Carette

Jeudi 13 octobre

9h30-10h00: Giti Omidvar

10h00-10h30: Tom Hirschowitz

10h30-11h: Matteo Acclavio

11h-11h15: pause

11h15-12h45: Valeria Vignudelli

12h45-14h: déjeuner

14h-14h30: Damiano Mazza

14h30-15h00: Yves Lafont

15h00-15h30: Simon Forest

15h30-15h40: pause

15h40-16h10: Éric Goubault

16h10-16h40: Roman Kniazev

 

Organisation : Valentin Blot, Samuel Mimram et Lionel Vaux.

Emplacement
ENS Paris Saclay

Catégories Pas de Catégories