Archive 2022
UFR maths
Licences
Masters
⟩
Cours proposés
page moodle
Programmation fonctionnelle et preuve formelle en COQ
6 ECTS, semestre , 12 semaines
Validation
CC+examen
Horaires hebdomadaires
12 h CTD , 24 h TD
Années
Accès direct
Accueil master
Licences mathématiques
Informations
Parcours
Mathématiques Fondamentales
Mathématiques-Informatique Data Science
Modélisation aléatoire
Mathématiques, Informatique de la Cryptologie et sécurité
Mathématiques Générales
Logique Mathématique et Fondements de l'Informatique
Master LOGOS
ISIFAR
Probabilités
Modélisation
Master 1
M1 ISIFAR
M1-LOGOS
M1 mathématiques et informatique
M1 Mathématiques (MFA)
M1-MIC
Master 2
M2 Math-Info-Crypto
M2-math
M2-MO
M2 modelisation
M2 MIDS
M2 ISIFAR
M2-LMFI
M2 Enseignants
M2 proba
M2 agrégation
M2-LOGOS
M2 Math-Info-Crypto
Tous les cours
Informations pratiques
inscriptions
calendrier
accès
Questions fréquentes
Contacts
Bâtiment Sophie Germain
8 place Aurélie Nemours
75013 Paris
Responsable pôle scolarité Master
Christian Senecal
bureau 1012
Scolarité MIC, MIDS, MO, LMFI
Mme Chatoux
bureau 1011
01 57 27 93 06
Scolarité MFA - Isifar
Nathalie Naveau
bureau 1012
01 57 27 65 37
Christian Senecal
bureau 1012
Scolarité Didactique, Agrégation, MEEF, L3 professorat des écoles
Sandrine Pellé
bureau 1011
01 57 27 65 44
École Doctorale
Mme Hariti
bureau 5056
01 57 27 92 13
