Master mention mathématiques et applications parcours logique mathématiques et fondements de l'informatique (LMFI) - 2ème année

• Master mention mathématiques et applications - Code CertifInfo 105835
  • Niveau de qualification : 7 - Savoirs hautement spécialisés

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.

Programme de la formation

Le LMFI est composé :
Au premier 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 second 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.

Validation et sanction

Master mention mathématiques et applications;Attestation de suivi de présence

Type de formation

Certifiante

Sortie

Bac + 5 et plus