====== M2 Langages et Programmation (LP) ====== Vous devez valider sur toute la durée de l'année : * Le bloc des trois cours obligatoires, indiqués "O" ci-dessous : 9 ECTS. * Le bloc des "UEs recommandées": 12 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 (30 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ériodes... **Votre choix de cours doit être approuvé par le responsable du M2-LP Giulio Manzonetto.** Vous pouvez valider au plus 2 UE d'ouverture (un à 3 ECTS et un à 6 ECTS). ===== 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 ^ | Langage de Programmation Moderne | O | 3 | [[https://yunes.informatique.univ-paris-diderot.fr/|Jean-Baptiste Yunès]]| | [[..:ue:m2:mfv9|Méthodes formelles de vérification]] | R | 6 | [[https://www.irif.fr/~abou/|Ahmed Bouajjani]] | | [[..: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:abd9|Architecture des Systèmes de Bases de Données]] | | 3 | Emmanuel Fuchs | | [[..: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]] | | [[..:ue:m2:fdad9|Fouille de données et aide à la décision ]] | | 3 | [[http://fabien.viger.free.fr/|Fabien Viger]] | | [[..:ue:m2:ip9|Ingénierie des protocoles]] | | 3 | (non ouvert en 25-26) | | [[..:ue:m2:psi9|Protocoles des services Internet]] | | 6 | [[https://www.irif.fr/~jch/|Juliusz Chroboczek]] | | [[..:ue:m2:ie9|Systèmes Programmés Industriels]] | | 3 | Pierre-Yves Piriou | | [[..:ue:m1:ouv|UE d'ouverture]] | | 3 | | [[..:ue:m1:ouv|UE d'ouverture]] | | 6 | ===== 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:progcomp10|Programmation Comparée]] | O | 3 | [[https://www.irif.fr/~narboux/|Julien Narboux]], [[https://www.irif.fr/~scherer/index.html|Gabriel Scherer]] | | [[..:ue:m2:transfo10|Transformation de programmes]] | O | 3 | [[https://www.irif.fr/~gmanzone/|Gulio Manzonetto]] | | [[..:ue:m2:astat10|Analyse statique]] | R | 3 | [[https://www.irif.fr/~gio/index.xhtml|Giovanni Bernardi]] | | [[..:ue:m2:asi10|Architecture des Systèmes d'Information]] | R | 3 | Emmanuel Fuchs | | [[..:ue:m2:osx10|Interfaces et Outils de MacOS-X]] | R | 3 | [[https://yunes.informatique.univ-paris-diderot.fr/|Jean-Baptiste Yunès]] | | [[..:ue:m2:iap10|Introduction à l'apprentissage profond]] | R | 3 | [[https://guillaume.baudart.eu|Guillaume Baudart]] | | [[..:ue:m2:asr10|Administration système et réseaux]] | | 3 | [[https://www.irif.fr/~dagand/|Pierre-Évariste Dagand]] | | [[..:ue:m2:algrep10|Algorithmique répartie]] | | 6 | [[https://www.irif.fr/users/blin/index|Lélia Blin]] | | [[..:ue:m2:gri10|Grands réseaux d'interaction]] | | 3 | [[https://www.irif.fr/~vlad/|Vlady Ravelomanana]] | | [[..:ue:m2:mfap10|Méthodes formelles approche probabiliste]] | | 3 | [[https://www.irif.fr/~francoisl/|François Laroussinie]] | | [[..:ue:m2:mob10|Mobilité]] | | 3 | [[https://www.irif.fr/users/csikos/index|Monika Csikos]] | | [[..:ue:m2:op10|Optimisation]] | | 3 | [[http://fabien.viger.free.fr/|Fabien Viger]] | | [[..:ue:m2:sa10|Systèmes avancés]] | | 3 | [[https://yunes.informatique.univ-paris-diderot.fr/|Jean-Baptiste Yunès]] | | [[..:ue:m1:ouv|UE d'ouverture]] | | 3 | (si pas pris en 1ère période) | | [[..:ue:m1:ouv|UE d'ouverture]] | | 6 | (si pas pris en 1ère période) | ===== Le stage ===== Stage en entreprise, d'une durée de 4 à 6 mois, entre le 1 avril 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]] * [[/formations/masters/langages_et_programmation/m2lp-soutenances2025|Planning des soutenances de stage année 2024-2025]] {{tag>m2 lp}}