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 184 Mathématiques et informatique de Marseille
Formations adossées: 
  • Master mathématiques et applications
Adresse courrier: 

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

Adresse des locaux: 

Institut de Mathématiques de Marseille
Campus de Luminy, Bâtiment TPR2
13009 Marseille

Adresse électronique: 
lionel.vaux [at] univ-amu.fr
Site web: 
http://iml.univ-mrs.fr/ldp/
Thèmes de recherche: 
Logique (philosophique et mathématique)
Participation à LABEX, ANR, programmes européens, etc.: