2ème année Spécialité 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.
Inscriptions 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.