Équipe LdP
The LdP team is part of I2M’s Arithmetic, Geometry, Logic and Representations (AGLR) scientific group.
The Logique de la programmation (LdP) team was founded by Jean-Yves Girard in 1992. The team’s traditional themes concern the theory of demonstration, illuminated by the Curry-Howard correspondence between proofs and programs: its contributions in this field lie in particular in linear logic, lambda-calculus and denotational semantics of programs and proofs. Over the years, his lines of research have opened up to a variety of related themes: the most recent are classical realizability and type theory for the most closely related, and homotopic algebra and higher categories, as well as the formal processing of natural language, for the most transdisciplinary.
Members
- Dimitri Ara (MdC)
- Luigi Bernardi (doctoral student 2020-2023, dir. Emmanuel Beffara & Myriam Quatrini)
- Lison Blondeau (PhD student 2021-2024, dir. Pierre Clairambault & Lionel Vaux Auclair)
- Rémy Cerda (PhD student 2020-2023, dir. Laurent Regnier & Lionel Vaux Auclair)
- Simon Forest (postdoc ANR PPS 2021-2022)
- Jean-Yves Girard (DR CNRS emeritus)
- Yves Lafont (PR)
- Léo Hubert (doctoral student 2020-2023, dir. Dimitri Ara & Yves Lafont)
- Valentin Maestracci (PhD student 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)
Activities and collaborations
The team’s life is punctuated by its weekly seminar: the Logic and Interactions seminar.
The LdP team is part of the LHC and Scalp groups of the GDR Informatique Mathématique, and of theIRN de Logique Linéaire, and is involved in the current ANR projects PPS, Reciprog and LambdaComb. She regularly takes part in the Chocola seminar in Lyon.
Locally, the LdP team maintains close relations with LIS’s LIRICA and MoVe teams, in both its research and teaching activities. In particular, it is actively involved in coordinating the IMD course, common to the Mathematics and Applications andComputer Science masters programs in Marseille. Several LIS researchers are close collaborators of the team, involved in joint research projects: Pierre Clairambault (ANR PPS and Reciprog), Raphaëlle Crubillé (ANR PPS), Charles Grellois (ANR PPS and Reciprog), Luigi Santocanale (ANR Reciprog and LambdaComb). Another local collaboration is with CGGG, notably with Gabriella Crocco.
