• UFR maths
  • Licences
  • Masters
  • ⟩ Courses
  • Version française
  • moodle page

Méthodes formelles

3 ECTS, semester 2, 12 weeks

Program requirementsCC+examen
Years M2 double master mathématiques, informatique cryptologie et sécurité M2 mathématiques, informatique et applications à la cryptologie

Navigation

  • Master top page
  • Licences
  • Informations
  • Degrees
    • 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 Mathématiques (MFA)
    • M1-MIC
    • M1-LOGOS
    • M1 mathématiques et informatique
  • Master 2
    • M2 modelisation
    • M2-LOGOS
    • M2-MO
    • M2 MIDS
    • M2 Math-Info-Crypto
    • M2 agrégation
    • M2 ISIFAR
    • M2 proba
    • M2-LMFI
    • M2-math
    • M2 Math-Info-Crypto
    • M2 Enseignants
  • All courses

Practical informations

  • inscriptions
  • calendrier
  • accès
  • Questions fréquentes

Contacts

  • Bâtiment Sophie Germain
    8 place Aurélie Nemours
    75013 Paris

École Doctorale

  • Mme Hariti
  • bureau 5056
  • 01 57 27 92 13

Scolarité Didactique, Agrégation, MEEF, L3 professorat des écoles

  • Sandrine Pellé
  • bureau 1011
  • 01 57 27 65 44

Scolarité MFA - Isifar

  • Nathalie Naveau
  • bureau 1012
  • 01 57 27 65 37
  • Christian Senecal
  • bureau 1012

Responsable pôle scolarité Master

  • Christian Senecal
  • bureau 1012

Scolarité MIC, MIDS, MO, LMFI

  • Mme Chatoux
  • bureau 1011
  • 01 57 27 93 06

Archives

  • Year 2019-2020
  • Year 2020-2021
  • Year 2021-2022

© UFR mathématiques Univ. Paris Cité. Images: Pexels. Design: HTML5 UP.