Logique de la programmation

Coordonnées administratives: 
Institut de Mathématiques de Marseille – UMR 7373
Institutions de rattachement: 
Université d'Aix-Marseille / CNRS
Ecole doctorale: 
ED 384 Mathématiques et informatique de Marseille
Formations adossées: 
  • Master mathématiques et applications
Adresse courrier: 

Institut de Mathématiques de Luminy
Case 907 – Campus de Luminy
13288 Marseille Cedex 9

Adresse électronique: 
laurent.regnier [at] univ-amu.fr
Thèmes de recherche: 
Logique (philosophique et mathématique)
Participation à LABEX, ANR, programmes européens, etc.: