2ème année Spécialité LMFI
Responsable de la formation : Arnaud Durand
Ce master offre une formation de haut niveau en Logique. Il a pour objectif de former des chercheurs ou ingénieurs de recherche possédant la maîtrise des outils logiques fondamentaux utilisés en Mathématiques et en Informatique.
Le master est organisé par les équipes de recherches suivantes :
Institut de Mathématiques de Jussieu -- UMR 7586 du CNRS
Preuves, Programmes, Systèmes (PPS) -- UMR 7126 du CNRS
