FORMATION MASTER Domaine SCIENCES, TECHNOLOGIE, SANTE Mention INFORMATIQUE Anne 2009-2012 Organisation de la formation Description du M1

Chacun des deux semestres du niveau M1 conduit lobtention de 30 crdits correspondant des enseignements en accord avec un parcours, cest--dire quil pourra inclure : Toutes les UE obligatoires et des UE optionnelles informatique du parcours pour un minimum de 42 crdits. LUE danglais de 3 crdits. LUE de travail de fin dtudes de 6 crdits, qui peut revtir lune des trois formes suivantes : - Travail de recherche encadr - Projet de programmation - Stage professionnel de deux mois minimum Une UE dinformatique hors-parcours de 6 crdits choisir dans les cours dispenss lUFR dinformatique. Il pourra sagir dun cours du niveau L3 afin de pallier dventuelles lacunes dans la formation dtudiants arrivant dans la formation master. Une UE libre de 3 crdits hors-parcours. Dans le cas dUE dispense lextrieur de lUFR dinformatique un accord pralable avec lquipe pdagogique du master est ncessaire.

Remarque : En suivant tous les enseignements obligatoires de plusieurs parcours, un tudiant pourra retarder le choix de son parcours dfinitif. Dans la liste des units proposes en M1, on trouvera, pour chaque unit, son quivalence en crdits, ainsi que son caractre obligatoire (OBL) ou optionnel (OPT) pour chaque parcours type. Les autres UE peuvent tre choisies comme UE hors parcours. La validation dune UE avec une note suprieure ou gale 10/20 implique la capitalisation automatique de son nombre de crdits. Il nest pas possible de valider une UE par compensation.

Cours Paris 7 Anglais Introduction lIA et la thorie des jeux Bases de donnes avances Circuits et architecture Langages Objets avancs Programmation systme Compilation Prolog et programmation par contraintes Algorithmique Calculabilit et complexit Protocoles rseaux Gnie logiciel avanc Interfaces graphiques Automates avancs et application Infographie Programmation fonctionnelle avance Thorie et pratique de la concurrence Preuves assistes par ordinateur Smantique des langages de programmation. Algorithmique avance Analyse de performance et simulation Stage en entreprise Projets de programmation Travaux de recherche encadrs Droit de linformatique Logiciels libres Nouvelles tendances du Web Technologies mergentes Techniques dexpression Cours extrieurs Fondements de linterprtation abstraite Gomtrie et vision artificielle Initiation la cryptologie Systme numrique : algorithme, code et circuit Gomtrie discrte et algorithmique

ECTS 3 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 3 3 3 6 3 6 3 6 6 6

SEM 1 ou 2 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2

LP OBL OPT OPT OBL OPT OBL OBL OPT OPT OBL OPT

SRI OBL OBL OPT OPT OBL OPT OBL OPT OPT OPT OPT OPT OPT OPT

LC OBL

MPRI OBL OPT

OPT OPT OPT OPT OBL OPT OPT OBL

OBL OPT OBL OBL

OBL OPT OPT OPT

OPT OBL OBL OPT OPT OPT OPT OPT

OPT OPT OPT OPT OPT OPT OPT

OPT OPT OPT OPT OPT OPT OPT OPT

OPT OPT OPT OPT OPT OPT OPT

OBL

OPT OPT OPT OPT OPT OPT OPT OPT

Description du M2
Lanne du M2 est organise en trois priodes : Deux priodes de 11 semaines (de dbut octobre fin dcembre et de dbut janvier fin mars) pendant lesquelles les tudiants doivent suivre 11 cours dinformatique, en accord avec leurs parcours, soit 33 crdits correspondants toutes les UE obligatoires du parcours complts dun choix dUE optionnelles du parcours ou ventuellement dUE libres. A ces 11 cours sajoute langlais soit 3 crdits. Troisime priode ( partir de dbut avril) : stage en entreprise (24 crdits) dune dure minimale de 4 mois. Chaque tudiant rdigera la fin de son stage un rapport. Le stage sera valu en fonction de ce rapport et dune soutenance publique en fin de stage. - Spcialit Informatique professionnalisante Parcours Logiciels Critiques (LC) Les systmes logiciels, et en particulier les systmes embarqus, sont prsents dans tous les secteurs de la vie moderne (transport, tlcommunications, nergie, sant, espace, etc.) et doivent accomplir des tches de plus en plus complexes. La dfaillance de ces systmes pouvant avoir des consquences humaines et/ou conomiques considrables, il est ncessaire dadopter lors du dveloppement de tels systmes des mthodes rigoureuses et automatisables permettant dassurer un haut degr de confiance dans leurs comportements. Ce parcours vise donner une formation couvrant les principales approches modernes en conception, validation, et en programmation de systmes logiciels critiques. Cette formation comporte aussi bien lacquisition des fondements thoriques de chacune de ces approches, que la matrise des mthodes et des techniques qui leurs sont associes, et leur application au travers de travaux pratiques et de projets. Le parcours comprend 9 cours obligatoires (OBL) dont langlais (27 crdits) et 3 cours (9 crdits) choisir parmi les cours optionnels (OPT) suggrs pour ce parcours. Parcours Langages et Programmation (LP) La matrise des langages informatiques est indispensable pour un informaticien. Ce parcours a comme objectif denseigner les concepts qui sont la base la fois des langages de programmation et des langages de donnes. Le but est moins denseigner tel ou tel langage de programmation qui est actuellement la mode mais denseigner des fondements qui permettent des informaticiens futurs de sadapter lvolution des langages de programmation. Les informaticiens ayant suivi ce parcours devront savoir comparer les avantages des approches diffrentes la programmation, et valuer ladaptation dune approche pour un projet logiciel. Les enseignements dispenss concernent la fois les paradigmes fondamentaux des langages comme les approches logiques, fonctionnelles et orientes objets, et galement les techniques avances de la compilation, et lutilisation pratique de compilateurs modernes. Le parcours est constitu de 4 cours obligatoires (OBL) dont langlais (12 crdits), 5 cours (15 crdits) que ltudiant doit choisir parmi les cours optionnels (OPT) suggrs dans ce parcours et 3 cours libres (9 crdits) choisir dans lensemble de tous les cours de M2 proposs en premire ou seconde priode. Parcours Systme, Rseaux, Internet (SRI) Outre les comptences techniques essentielles que donne cette formation, elle fournit aussi les lments conceptuels fondamentaux ncessaires toute future adaptation professionnelle dans le domaine des systmes informatiques modernes : micro-noyaux, systmes modulaires, systmes embarqus, algorithmique distribue, grilles de calcul, systmes mobiles, machines virtuelles, et que lon retrouve dans de nombreuses applications industrielles dusage courant : tlphonie mobile, tlvision numrique, systmes de paiements, technologies Internet, etc. Les enseignements dispenss doivent permettre la matrise des concepts et de la problmatique de la rpartition des donnes, des traitements ou des personnes.

Le parcours est constitu du cours obligatoire (OBL) danglais (3 crdits), de 10 cours (30 crdits) choisir parmi les cours optionnels (OPT) suggrs pour ce parcours et un cours libre (3 crdits) choisir dans lensemble de tous les cours de M2 proposs en premire ou seconde priode. Lquipe pdagogique veillera la cohrence de la composition du parcours. Lorganisation de ces diffrents parcours se rsume ainsi :
Cours Paris 7 Anglais Modlisation et spcification Programmation synchrone Scurit Protocoles internet Programmation Objet : concepts avancs Compilation avance Ingnierie des protocoles Grands rseaux dinteraction Concepts avancs de Base de Donnes Entrepts de donnes Formats de documents et compression Programmation logique et par contraintes avances Typage Interfaces visuelles et outils de dl de Mac OS X Mthodes algorithmiques pour la vrification Preuve de programmes Analyse statique de programmes Mthodes de test Programmation compare Introduction lautomatique Informatique embarque Moteurs de recherche Mobilit et grille de calculs Algorithmique rpartie Programmation rpartie Rseaux scuriss Administration systme et rseau XML Architecture des systmes dinformation Fouilles de donnes et aide la dcision Systmes avancs Stage en entreprise ECTS 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 24 Priode 1 ou 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 LP OBL OPT OPT SRI OBL OPT OPT OPT OPT OPT OPT OPT OPT OPT OPT OPT OPT OPT OPT OPT OPT OBL OPT OPT OPT OPT OPT OPT OPT OPT OBL OBL OBL OBL OPT OBL OPT LC OBL OBL OBL OBL OPT OPT OPT OPT

OBL OBL

OPT

OPT

OPT OPT

OBL

OPT OBL

OBL

- Spcialit Informatique recherche Toutes les informations concernant cette spcialit sont disponibles sur le serveur MPRI : http ://mpri.master.univ-paris7.fr/.