Master Informatique fondamentale Paris VII - Diderot : Logique mathématique et fondements de l'informatique (LMFI).
BAC +5 Informatique, spécialité Logique mathématique et fondements de l'informatique (LMFI), mention Mathématiques et applications.
Domaine : Sciences, Technologies et Santé.
Master à finalité de recherche délivré par l'Université Paris VII - Diderot.