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.

Adresse: Institut de Mathématiques de Marseille, 163 avenue de Luminy, Case 907, 13288 Marseille Cedex 9.