Master mention mathématiques et applications parcours logique mathématiques et fondements de l'informatique (LMFI) - 2ème année
Paris 13e
Certifiante
Niveau souhaité Bac +5
Objectifs
Le M2 LMFI est le seul M2 français dédié à la logique mathématique et à ses applications à l'informatique.
Il forme des logiciens de haut niveau et les prépare au doctorat, aux carrières universitaires, à l'enseignement et à des métiers de la R&D.
Il est organisé par deux laboratoires prestigieux, de l'Université Paris-Diderot et du CNRS, couvrant la plupart des branches de la logique mathématique et informatique : l'Équipe de Logique Mathématique de l'Institut de Mathématiques de Jussieu - Paris Rive Gauche et le pôle Preuves, Programmes, Systèmes (PPS) de l'Institut de Recherche en Informatique Fondamentale.
Description
Le LMFI est composé :
Au 1er semestre : un cours préliminaire intensif de logique (30h), facultatif; un tronc commun constitué de quatre cours fondamentaux (trois cours de 48h, un cours de 84h); les groupes de travail des cours fondamentaux (36h chacun).
Au 2ème semestre : huit cours avancés (48h chacun); des cours d'ouverture (24h chacun); une initiation à la recherche sous forme d'un stage/mémoire, encadré par un enseignant-chercheur.
Conditions d'accès
Le candidat devra avoir valide une 1ere annee de Master (M1), une Maitrise ou un titre equivalent. Cette premiere annee devra avoir ete effectuee dans une specialite mathematique, informatique, ou logique.
Université Paris Cité
- 0176534630
- formation-continue.defi@u-paris.fr
Centre de formation
Lieu de formation