Équipe Logique de la Programmation (LDP)

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

JPEG - 3.9 ko

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

Séminaires à venir :

Anciens séminaires :

Anciens séminaires Logique et Interactions

Anciens séminaires Chocola

Commencez à saisir votre recherche ci-dessus et pressez Entrée pour rechercher. ESC pour annuler.

Retour en haut
Secured By miniOrange