2ème année Spécialité LMFI

Affiche du LMFI

Responsables de la formation : 
Christine Tasson 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
le pôle Preuves, Programmes, Systèmes (PPS) de l'Institut de Recherche en Informatique Fondamentale (IRIF) -- UMR 8243 du CNRS




NEWS

ATTENTIONInscriptions 2018-2019: Les inscriptions reouvrent pour la seconde session du 25 août au 15 septembre sur l'application e-candidat, les dossiers papiers doivent être retournés avant le 15 septembre. Le tronc commun du Master débutant le 17 septembre, les candidats sont fortement encouragés à retourner leurs dossiers avants le 7 septembre. Voir les modalités d'inscription dans le menu de gauche.


Le cours préliminaire de logique se déroulera du 3 au 14 septembre au 9 septembre dans le bâtiment Sophie Germain; les horaires sont mentionnés dans le planning du premier semestre.


Emploi du temps du premier semestre 2018-2019:L'emploi du temps du premier semestre 2018-2019 est disponible.