Outils pour utilisateurs

Outils du site


enseignement:masters:master-lp-m2

M2 Langages et Programmation (LP)

Cette page décrit l’organisation du M2-LP à partir de la rentrée en septembre 2019 (version préliminaire)

Chacun des cours vaut 3 ECTS. Vous devez valider sur toute la durée de l’année :

  • les 4 cours obligatoires (dont le cours d’anglais)
  • 8 autres cours parmi ceux listés sur cette page, dont au moins 5 des cours fondamentaux
  • le stage (24 ECTS)

Cours de la première période

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.

Cours obligatoires

Matière Responsable 19/20
Anglais de Spécialité
Programmation Objets : Concepts Avancées Yann Régis-Gianas

Cours fondamentaux aux choix

Matière Responsable 19/20
Méthodes Formelles de Vérification Mihaela Sighireanu
Modélisation et Spécification Arnaud Sangnier
Programmation Synchrone Eugène Asarin
Architecture des Systèmes de Bases de Données Emmanuel Fuchs

Cours d'ouverture aux choix

Matière Responsable 19/20
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 Fabien de Montgolfier
Protocoles des Services Internet Carole Delporte

Cours de la deuxième période

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.

Cours obligatoires

Matière Responsable 19/20
Programmation Comparée Yann Régis-Gianas
Transformation de Programmes Pierre Letouzey

Cours fondamentaux aux choix

Matière Responsable 19/20
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

Cours d'ouverture aux choix

Matière Responsable 19/20
Administration Système et Réseaux Jean-Michel Moreno
Algorithmique Répartie Hugues Fauconnier
Méthodes Algorithmiques pour l’Accès à l’Information Pierluigi Crescenzi
Mobilité Pierluigi Crescenzi
Systèmes Avancées Jean-Baptiste Yunès

Le stage

enseignement/masters/master-lp-m2.txt · Dernière modification: 07/11/19 13:48 par Treinen Ralf