Institut de Mathématiques de Marseille, UMR 7373




Rechercher


Accueil > Équipes de recherche > Logique de la Programmation (LDP) > Accueil

Équipe Logique de la Programmation (LDP)

par Torresani Bruno - publié le , mis à jour le

Responsable d’équipe : Laurent REGNIER

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).

JPEG - 3.9 ko

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

À noter :

Prochain colloque : aucun annonce