2ème année Spécialité LMFI

Affiche du LMFI

Responsables de la formation : 
Alexis Saurin et Boban Velickovic

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 :

l'Équipe de logique de l'Institut de Mathématiques de Jussieu (IMJ-PRG) -- UMR 7586 du CNRS
l'Équipe Preuves, Programmes, Systèmes (PPS) de l'Institut de Recherche en Informatique Fondamentale (IRIF) -- UMR 8243 du CNRS




NEWS

ATTENTIONPréinscriptions 2017-2018: La première session d'inscription au Master LMFI se termine le 20 juin 2017 sur l'application e-candidat, les dossiers papiers doivent être retournés avant le 4 juillet. L'application et les inscription rouvrent le 25 août. Voir les modalités d'inscription dans le menu de gauche.


La seconde session d'inscription au M2 rouvre le 25 août jusqu'au 5 septembre, voir les modalités d'inscription.