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

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


Réunion de présentation des cours du second semestre le 28 novembre à 16H30 en salle 3052: présentation du second semestre et des stages par les responsables du master et des cours par les enseignants du seconde semestre.


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


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.