Équipe Logique de la Programmation (LdP)
Équipe LdP
L’équipe LdP est une composante du Groupe scientifique Arithmétique, Géométrie, Logique et Représentations (AGLR) de l’I2M.
L’équipe Logique de la programmation (LdP) fut fondée par Jean-Yves Girard en 1992. Les thèmes traditionnels de l’équipe portent sur la théorie de la démonstration, éclairée par la correspondance de Curry-Howard entre preuves et programmes : ses contributions dans ce domaine se situent en particulier en logique linéaire, lambda-calcul et sémantique dénotationnelle des programmes et des preuves. Au fil des années, ses lignes de recherches se sont ouvertes à diverses thématiques connexes : les dernières en date sont la réalisabilité classique et la théorie des types pour les plus proches, et l’algèbre homotopique et les catégories supérieures, ainsi que le traitement formel de la langue naturelle, pour les plus transdisciplinaires.
Membres
- Dimitri Ara (MdC)
- Lison Blondeau (doctorante 2021-2025, dir. Pierre Clairambault & Lionel Vaux Auclair, actuellement ATER ÉNS Lyon)
- Jean-Yves Girard (DR CNRS émérite)
- Yves Lafont (PR)
- Léo Hubert (doctorant 2020-2025, dir. Dimitri Ara & Yves Lafont)
- Tommy-Lee Klein (doctorant 2024-2027, dir. Dimitri Ara)
- Valentin Maestracci (doctorant 2022-2025, cotutelle Paris 13, dir. Laurent Regnier & Thomas Seiller)
- Étienne Miquey (MdC)
- Alexey Muranov (MdC)
- Myriam Quatrini (MdC, HDR)
- Laurent Regnier (PR)
- Lionel Vaux Auclair (MdC, HDR)
Anciens membres (depuis 2022)
- Luigi Bernardi (doctorant 2020-2024, dir. Emmanuel Beffara & Myriam Quatrini, thèse soutenue le 21 juin 2024)
- Rémy Cerda (doctorant 2020-2024, dir. Laurent Regnier & Lionel Vaux Auclair, thèse soutenue le 10 juin 2024)
- Simon Forest (postdoc ANR PPS 2021-2022)
Activités et collaborations
La vie de l’équipe est rythmée par son séminaire hebdomadaire: le séminaire Logique et Interactions. Le seminaire est coordonné avec celui de l’équipe LSC du LIS, avec qui LdP entretient des relations soutenues. Plusieurs chercheurs sont impliqués dans des projets financés communs à LdP et LSC (ANR PPS, Reciprog et LambdaComb). Outre les liens avec l’équipe LSC du LIS, d’autres collaborations de recherche locales sont établies au sein même de l’I2M (avec Pierre Guillon), et avec le CGGG (avec Gabriella Crocco).
L’équipe LdP fait partie des groupes LHC et Scalp du GDR Informatique Fondamentale et ses Mathématiques, et elle est impliquée dans les projets ANR en cours PPS, Reciprog et LambdaComb. Elle participe régulièrement au séminaire Chocola à Lyon.
L’équipe LdP est également active dans l’animation du parcours IMD, commun aux masters de Mathématiques et Applications et d’Informatique de Marseille.
