2ème année Spécialité LMFI

Affiche du LMFI

Responsables de la formation : 
Martin Hils et Alexis Saurin

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
Laboratoire Preuves, Programmes, Systèmes (PPS) -- UMR 7126 du CNRS




NEWS

L'emploi du temps du second semestre 2015-2016 est disponible.

La liste des enseignements 2015-2016 est disponible avec leurs descriptifs.

Inscriptions 2015-2016:
Les inscriptions pour le M2 sont à effectuer sur le site ecandidat de Paris Diderot dans les périodes suivantes:

  • du 20 mai au 30 juin 2015 avec une date limite de retour de dossier au secrétariat du M2 le 04 juillet 2015
  • du 25 août au 05 septembre 2015 avec une date limite de retour de dossier au secrétariat du M2 le 05 septembre 2015

Pour plus d'informations, contacter le secrétariat du M2.