logo site
Institut de Mathématiques de Marseille, UMR 7373
Slogan du site
Descriptif du site
Équipe Logique de la Programmation (LDP)
Article mis en ligne le 21 décembre 2013
dernière modification le 2 mars 2018

par Torresani Bruno

Responsable d’équipe : Lionel VAUX

L’équipe Logique de la Programmation est une équipe de recherche de l’Institut de Mathématiques de Marseille (anciennement de l’Institut de Mathématiques de Luminy), UMR 7373 du CNRS. Elle fait partie du groupe Géométrie du Calcul du GDR Informatique Mathématique et participe aux projet ANR Cathre, Coquas, Loci, Logoi et Récré. Elle est impliquée dans le master recherche de Mathématiques Discrètes et Fondements de l’Informatique.

L’équipe LDP est une composante du Groupe Arithmétique Géométrie Logique et Représentations (AGLR, ex-LUM).

- Accès équipe LDP de Luminy
- Toutes les listes de diffusion
-

À noter :

Prochain colloque : aucun annonce