Programmation fonctionnelle et preuve formelle en COQ

École Doctorale

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

Responsable pôle scolarité Master

• Christian Senecal
• bureau 1012

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

Scolarité MIC, MIDS, MO, LMFI

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