 LOGIQUE DE LA PROGRAMMATION |
L'équipe Logique de la Programmation est une équipe de recherche de l'Institut de Mathématiques de Luminy, UMR 6206 du CNRS. Elle coordonne l'ACI Géométrie du Calcul, et participe au projet ANR INVAL, au Master Recherche de Mathématiques Discrètes et Fondements de l'Informatique et au Master Professionnel de Mathématiques et Informatique des Nouvelles Technologies.
Adresse : Institut de Mathématiques de Luminy, 163 avenue de Luminy, Case 907, 13288 Marseille Cedex 9.
Commentaires : ruet arobase iml point univ-mrs point fr.