====== M2 IMPAIRS ====== Vous devez valider sur toute la durée de l'année : * L'anglais (obligatoire) * Le bloc des "UEs recommandées": 21 ects à choisir dans les cours indiqués "R" ci-dessous. * Le bloc des "UEs optionnelles": 9 ects à choisir dans les cours ci-dessous. * le stage (24 ECTS) Attention ! Les cours sont répartis sur deux périodes différentes. Le bloc des "UEs recommandées" peut être composé à partir de cours des deux périodes (idem pour le bloc des "UEs optionnelles"). Veillez à répartir la charge de travail entre les deux période... **Votre choix de cours doit être approuvé par le responsable du M2-IMPAIRS François Laroussinie.** ===== Cours de la première période ===== La première période de cours dure 11 semaines et est suivie d'une semaine d'examen. Elle commence fin septembre ou début octobre, et se termine avant les vacances de Noël. {{tablelayout?rowsHeaderSource=Auto}} ^ Matière ^ Statut ^ ects ^ Responsable 25/26 ^ | [[..:ue:m2:ang9|Anglais de Spécialité]] | Obl. | 3 | Patryk Bazinski | | [[..:ue:m2:abd9|Architecture des Systèmes de Bases de Données]] | R | 3 | Emmanuel Fuchs | | [[..:ue:m2:fdad9|Fouille de données et aide à la décision ]] | R | 3 | [[http://fabien.viger.free.fr/|Fabien Viger]] | | [[..:ue:m2:ip9|Ingénierie des protocoles]] | R | 3 | (non ouvert en 25-26) | | [[..:ue:m2:modspec9|Modélisation et Spécification]] | R | 6 | [[https://mo-f.github.io/Mo-F/|Mohammed Foughali]] | | [[..:ue:m2:psy9|Programmation Synchrone]] | R | 6 | [[https://www.irif.fr/~guatto/|Adrien Guatto ]] | | [[..:ue:m2:psi9|Protocoles des services Internet]] | R | 6 | [[https://www.irif.fr/~jch/|Juliusz Chroboczek]] | | [[..:ue:m2:ie9|Informatique embarquée]] | R | 3 | Pierre-Yves Piriou | | [[..:ue:m2:bds9|Bases de données spécialisées]] | | 6 | [[https://www.irif.fr/~amelie/|Amélie Gheerbrant]], [[https://www.irif.fr/~gio/|Giovanni Bernardi]] et [[https://www.irif.fr/~cristina/|Cristina Sirangelo]] | | Programmation générique et fonctionnelle | | 3 | [[https://yunes.informatique.univ-paris-diderot.fr/|Jean-Baptiste Yunès]] | | Langage de programmation moderne | | 3 | [[https://yunes.informatique.univ-paris-diderot.fr/|Jean-Baptiste Yunès]] | | [[..:ue:m2:mfv9|Méthodes formelles de vérification]] | | 6 | [[https://www.irif.fr/~abou/|Ahmed Bouajjani]] | ===== Cours de la deuxième période ===== La deuxième période dure 11 semaines et est suivie d’une semaine d’examen. Elle commence début janvier et se termine fin mars. {{tablelayout?rowsHeaderSource=Auto}} ^ Matière ^ statut ^ ects ^ Responsable 25/26 ^ | [[..:ue:m2:asr10|Administration système et réseaux]] | R | 3 | [[https://www.irif.fr/~dagand/|Pierre-Évariste Dagand]] | | [[..:ue:m2:algrep10|Algorithmique répartie]] | R | 6 | [[https://www.irif.fr/users/blin/index|Lélia Blin]] | | [[..:ue:m2:asi10|Architecture des Systèmes d'Information]] | R | 3 | Emmanuel Fuchs | | [[..:ue:m2:gri10|Grands réseaux d'interaction]] | R | 3 | [[https://www.irif.fr/~vlad/|Vlady Ravelomanana]] | | [[..:ue:m2:osx10|Interfaces et Outils de MacOS-X]] | R | 3 | [[https://yunes.informatique.univ-paris-diderot.fr/|Jean-Baptiste Yunès]] | | [[..:ue:m2:mob10|Mobilité]] | R | 3 | [[https://www.irif.fr/users/csikos/index|Monika Csikos]] | | [[..:ue:m2:sa10|Systèmes avancés]] | R | 3 | [[https://yunes.informatique.univ-paris-diderot.fr/|Jean-Baptiste Yunès]] | | [[..:ue:m2:mfap10|Méthodes formelles approche probabiliste]] | | 3 | [[https://www.irif.fr/~francoisl/|François Laroussinie]] | | [[..:ue:m2:op10|Optimisation]] | | 3 | [[http://fabien.viger.free.fr/|Fabien Viger]] | | [[..:ue:m2:progcomp10|Programmation Comparée]] | | 3 | [[https://www.irif.fr/~narboux/|Julien Narboux]], [[https://www.irif.fr/~scherer/index.html|Gabriel Scherer]] | | [[..:ue:m2:transfo10|Transformation de programmes]] | | 3 | [[https://www.irif.fr/~gmanzone/|Gulio Manzonetto]] | | [[..:ue:m2:astat10|Analyse statique]] | | 3 | [[https://www.irif.fr/~gio/index.xhtml|Giovanni Bernardi]] | | [[..:ue:m2:iap10|Introduction à l'apprentissage profond]] | | 3 | [[https://guillaume.baudart.eu|Guillaume Baudart]] | ===== Le stage ===== Stage en entreprise, d'une durée de 4 à 6 mois, entre le 31 mars et le 30 septembre. * [[formations:masters:m2_stages_fin_etudes|La procédure à suivre pour le choix du stage et la signature de la convention]]. * [[formations:masters:soutenance_rapport_stage_m2|La soutenance et le rapport de stage]]