Liste des UE de Master 1 et 2 pour 2007-2008.


Noter que les UE de M2 sont inchangées par rapport à l'année 2006-2007.
Le nombre d'heures est donné a minima.


Aux semestres 1, 2 et 3, il est prévu 12 semaines de 2h de Cours + 2h de TD par UE (sauf PdP). La rémunération minimum sera donc de 36 hetd pour les cours et 24 hetd pour les TD. A cela s'ajoute 1/8 de bonus + 1h/groupe - 1 pour les cours.

Semestre 1

Intitulé Code Cours Séries TD Séries
Modèles de Calcul INF461 43 1 27 4
Programmation Objet Avancée INF460 43 1 27 4
Logique INF462 41 1 27 2
Compilation (*) INF476T 42 1 27 3
Image et Son INF464 41 1 27 2
Réseaux INF465 43 1 27 4
(*) Compilation sera remplacée par Systèmes d'exploitation en 2008-2009 et deviendra un option du 2nd semestre.

Semestre 2

Intitulé Code Cours Séries TD Séries
Projet de Programmation (*) INF466 38 1 9 26
Anglais ? 48 6
Administration des réseaux INF470 41 1 27 2
Programmation des architectures parallèles INF477 40 1 27 1
Conceptions Formelles INF471 41 1 27 2
Traitement d'Images INF472 40 1 27 1
Graphes et Recherche Opérationnelle INF473 40 1 27 1
Cryptologie (**) ?
Traitement automatique du langage naturel INF478 40 1 27 1
(*) Il faut également rajouter 26 groupes de 9h TP (6 hetd) pour la partie "Client".
(**) Math

Semestre 3

Intitulé Code Cours Séries TD Séries
Stage C++ INF597 16 5
Architecture Logicielle INF550 41 1 27 2
Conduite de Projet (*) INF552 46 1 40 1
Techniques Avancées de Programmation INF558 40 1 27 1
Bases de Données Avancées INF559 40 1 27 1
Technologies logicielles avancées (*) INF553 45 1 9 1
Conceptions Formelles INF471T 40 1 27 1
Logiques comportementales INF556 40 1 27 1
Formalismes de description des systèmes INF555 40 1 27 1
Technologies de la vérification INF557 40 1 27 1
Modèles stochastiques et Sureté de fonctionnement INF554 40 1 27 1
Analyse d'algorithmes INF566 40 1 27 1
Logique et langages INF569 40 1 27 1
Algorithmes pour la bio-informatique et la visualisation INF567 40 1 27 1
Graphes et Applications INF568 40 1 27 1
Analyse / Synthèse du Son Musical INF577 40 1 27 1
Modélisation géométrique INF571 40 1 27 1
Réalité virtuelle, interaction et perception INF574 40 1 27 1
Vidéo numérique, analyse et codage INF573 40 1 27 1
Synthèse d'images avancée INF572 40 1 27 1
Imagerie médicale: fondements INF576 40 1 27 1
Imagerie médicale: applications INF575 40 1 27 1
Segmentation et analyse d'images INF570 40 1 27 1
Architecture de réseaux et systèmes associés INF580T 40 1 27 1
Paradigmes du distribué INF581 40 1 27 1
Modèles et approches formelles des systèmes INF584 40 1 27 1
Systèmes et supports d'exécution parallèle INF582 40 1 27 1
Réseau et technologies associées : QoS et mobilité INF580 40 1 27 1
(*) GLCP vaut 9 crédits et TLA 3

Vietnam

Intitulé Code Cours Séries
Algorithmique Avancée INF905 30 1
Programmation Objet Avancée INF906 30 1
Compilation INF910 30 1
Théorie des langages et logique
INF907 30 1
Architecture logicielle INF920 45 ou 30 1
Génie logiciel et conduite de projets INF921 45 ou 30 1
Technologies logicielles avancées INF924 22,5 ou 15 1
Bases de données avancées INF923 45 ou 30 1
Conception Formelle INF922 45 ou 30 1 ou 2
Serveurs d'applications INF925 22.5 ou 15 1