The Logic, Semantics and Categories team (LSC) located in the Luminy campus is a team from the Laboratoire d’Informatique et Systèmes (LIS, UMR CNRS 7020), at Aix-Marseille Université. Our research themes are related with formal structures for proofs and programs. We are interested in various technical approaches, which may be syntactic (deduction systems, lambda-calculus, rewriting…), semantic (domain theory, quantitative semantics, game semantics,…) or algebraic or categorical.

Keywords: type systems, proof systems, Curry-Howard correspondence, linear logic, denotational semantics, probabilistic programming, order theory, category theory.

News

• Pierre Clairambault has defended his HDR on the 21/02/2024

Permanent members

• Pierre Clairambault, chargé de recherche CNRS (HDR)
• Raphaëlle Crubillé, chargée de recherche CNRS
• Giulio Guerrieri, maître de conférences
• Luigi Santocanale, professeur des universités

PhD students and non-permanent team members

• Lison Blondeau-Patissier, doctorante
• Grégory Chichery, doctorant
• Cédric de Lacroix de Lavalette, doctorant
• Simon Forest, postdoctorant