M2 - Algorithmique et Fondements de la Programmation (AFP)

S3 - Semestre 3 : 30 ECTS au choix

Logique lineaire
ECTS : 6
Volume horaire ( CM : 48 )

Modeles des langages de programmation
ECTS : 6
Volume horaire ( CM : 48 )

Concurrence
ECTS : 6
Volume horaire ( CM : 48 )

Programmation fonctionnelle
ECTS : 6
Volume horaire ( CM : 48 )

Demonstration automatique
ECTS : 3
Volume horaire ( CM : 24 )

Interpretation Abstraite
ECTS : 6
Volume horaire ( CM : 48 )

Fondements des systemes de preuve
ECTS : 3
Volume horaire ( CM : 24 )

Assistants de preuve
ECTS : 3
Volume horaire ( CM : 24 )

Verification des systemes temps reel
ECTS : 6
Volume horaire ( CM : 48 )

Fondements de la theorie des systemes infinis
ECTS : 3
Volume horaire ( CM : 24 )

Verification algorithmique des programmes
ECTS : 3
Volume horaire ( CM : 24 )

Aspects algorithmiques de la combinatoire
ECTS : 6
Volume horaire ( CM : 48 )

Complexite randomisee
ECTS : 3
Volume horaire ( CM : 24 )

Techniques en cryptographie et cryptanalyse
ECTS : 3
Volume horaire ( CM : 24 )

Algorithmes arithmetiques pour la cryptologie
ECTS : 3
Volume horaire ( CM : 24 )

Systemes polynomiaux, calcul formel et application
ECTS : 3
Volume horaire ( CM : 24 )

Codes correcteurs d'erreur et application a la cryptologie
ECTS : 3
Volume horaire ( CM : 24 )

Analyse geometrique des donnees
ECTS : 3
Volume horaire ( CM : 24 )

Analyse d'algorithmes
ECTS : 6
Volume horaire ( CM : 48 )

Modelisation par automates finis
ECTS : 6
Volume horaire ( CM : 48 )

Fondements sur la modelisation des reseaux
ECTS : 3
Volume horaire ( CM : 24 )

Algorithmique distribuee avec memoire partagee
ECTS : 3
Volume horaire ( CM : 24 )

Robust concurrent computing
ECTS : 3
Volume horaire ( CM : 24 )

Methodes informatiques pour la bilogie systemique et synthetique
ECTS : 6
Volume horaire ( CM : 48 )

Techniques de theorie des jeux en informatique
ECTS : 3
Volume horaire ( CM : 24 )

Fondations mathematiques de la theorie des automates
ECTS : 3
Volume horaire ( CM : 24 )

Algorithmes efficaces en calcul formel
ECTS : 6
Volume horaire ( CM : 48 )

Systemes synchrones
ECTS : 3
Volume horaire ( CM : 24 )

Algorithmique distribuee pour les reseaux
ECTS : 3
Volume horaire ( CM : 24 )

Optimisation
ECTS : 3
Volume horaire ( CM : 24 )

Logique, complexite descriptive et theorie des bases de donnees
ECTS : 3
Volume horaire ( CM : 24 )

Gestion de donnees sur le web
ECTS : 3
Volume horaire ( CM : 24 )

Structures informatiques et logiques pour la modelisation linguistique
ECTS : 3
Volume horaire ( CM : 24 )

Algorithmique des graphes
ECTS : 3
Volume horaire ( CM : 24 )

Protocoles cryptographiques: preuves formelles et calculatoire
ECTS : 6
Volume horaire ( CM : 48 )

Theorie des calculs
ECTS : 3
Volume horaire ( CM : 24 )

Informatique quantique et applications
ECTS : 3
Volume horaire ( CM : 24 )

Programmation par contraintes
ECTS : 3
Volume horaire ( CM : 24 )

Preuves de programmes
ECTS : 3
Volume horaire ( CM : 24 )

Multicore Programming
ECTS : 3
Volume horaire ( CM : 24 )

Algorithmes pour les graphes plonges
ECTS : 3
Volume horaire ( CM : 24 )

S4 - Semestre 4

Stage de recherche
ECTS : 30
Volume horaire ( )