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

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

  • Jusqu'au 30 juin 2016 avec renvoi des dossier jusqu'au 4 juillet 2016 pour la première période d'inscription
  • du 25 août au 05 septembre 2016 avec une date limite de retour de dossier au secrétariat du M2 le 05 septembre 2016
Merci d'informer les responsables du M2, Martin Hils et Alexis Saurin, de la préparation de votre candidature en leur adressant un email.
Pour plus d'informations, contacter le secrétariat du M2.

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

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