Ceci est une ancienne révision du document !
Chacun des cours vaut 3 ECTS. Vous devez valider sur toute la durée de l’année :
La première période commence fin septembre ou début octobre, et se termine avant les vacances de Noël. Vous choisisez vos cours au début de la première période, votre choix doit être approuvé par les responsable du M2-LP.
Matière | Responsable 20/21 |
---|---|
Anglais de Spécialité | Precious Brown |
Programmation Objets : Concepts Avancées | Michel Blancard |
Matière | Responsable 20/21 |
---|---|
Méthodes Formelles de Vérification | Ahmed Bouajjani |
Modélisation et Spécification | Arnaud Sangnier, François Laroussinie |
Programmation Synchrone | Adrien Guatto |
Architecture des Systèmes de Bases de Données | Emmanuel Fuchs |
Matière | Responsable 20/21 |
---|---|
Bases de Données Spécialisées | Giovanni Bernardi, Amélie Gheerbrant, Cristina Sirangelo |
Fouille de Données et Aide à la Décision | Fabien Viger |
Informatique Embarquée | |
Ingénierie des Protocoles | Stephane Maag |
Grands Réseaux d’Interaction | Laurent Viennot |
Protocoles des Services Internet | Carole Delporte |
La première période commence debut janvier et se termine fin mars. Vous choisisez vos cours de la deuxiène période à la fin de la première période, votre choix doit être approuvé par les responsable du M2-LP.
Matière | Responsable 20/21 |
---|---|
Programmation Comparée | Adrien Guatto, Hugo Ferée , Pierre Letouzey |
Transformation de Programmes | Pierre Letouzey |
Matière | Responsable 20/21 |
---|---|
Programmation Logique et Par Contraintes | Ralf Treinen |
Programmation Répartie | Carole Delporte |
Interfaces et Outils de MacOS-X | Jean-Baptiste Yunès |
Typage et Analyse Statique | Giovanni Benardi |
Architecture des Systèmes d'Information | Emmanuel Fuchs |
Méthodes formelles approche probabiliste | Arnaud Sangnier |
Matière | Responsable 20/21 |
---|---|
Administration Système et Réseaux | Jean-Michel Moreno |
Algorithmique Répartie | Hugues Fauconnier |
Méthodes Algorithmiques pour l’Accès à l’Information | Sylvain Perifel |
Optmisation | Fabien Viger |
Systèmes Avancées | Jean-Baptiste Yunès |
Stage en entreprise, d’une durée de 4 à 6 mois, entre le 1 avril et le 30 septembre.