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

ATTENTIONAu 26 août: Modification du planning du cours préliminaire de logique: la séance de cours initialement prévue le 12 septembre est déplacée au 9 septembre après-midi, voir les horaires corrigés ci-dessous. Le document pdf de planning ne prend pas encore en compte cette modification.


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


Le cours préliminaire de logique se déroulera du 1er au 9 septembre dans le bâtiment Sophie Germain, aux horaires suivants:

  • jeudi 1er septembre de 9H30 à 13H;
  • vendredi 2 septembre de 9H30 à 13H;
  • lundi 5 septembre de 9H à 12H30 et de 14H à 17H30;
  • mardi 6 septembre de 9H30 à 13H;
  • mercredi 7 septembre de 9H30 à 13H;
  • jeudi 8 septembre de 9H à 12H30 et de 14H à 17H30;
  • vendredi 9 septembre de 9H à 12H30 et de 14H à 17H30.
Les cours fondamentaux débuteront à partir du mardi 13 septembre (voir planning du semestre).


Emploi du temps du premier semestre 2016-2017:L'emploi du temps du premier semestre 2016-2017 est disponible. (attention, les horaires du cours préliminaire de logique ont été modifiés et le document de planning ne prend pas encore cette modification en compte, voir ci-dessus.)


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 dossiers 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.