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 :

Logique Mathématique -- UMR 7056 du CNRS
Preuves, Programmes, Systèmes (PPS) -- UMR 7126 du CNRS




NEWS

Le planning du 2nd semestre est en ligne