UFR Informatique

Outils pour utilisateurs

Outils du site

Vous êtes ici : Accueil » formations » masters » langages_et_programmation » 2nde_annee
formations:masters:langages_et_programmation:2nde_annee

Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Les deux révisions précédentesRévision précédente
Prochaine révision		Révision précédente
formations:masters:langages_et_programmation:2nde_annee [2025/08/20 12:03] – UE obligatoires er recommandées treinenformations:masters:langages_et_programmation:2nde_annee [2025/08/20 12:17] (Version actuelle) – coquille treinen
Ligne 3: Ligne 3:
  
 Vous devez valider sur toute la durée de l'année : 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 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 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 bloc des "UEs optionnelles": 9 ECTS à choisir dans les cours ci-dessous.
-  * le stage (30 ECTS)+  * 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... 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-IMPAIRS François Laroussinie.**+ **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). Vous pouvez valider au plus 2 UE d'ouverture (un à 3 ECTS et un à 6 ECTS).
Ligne 17: Ligne 17:
 {{tablelayout?rowsHeaderSource=Auto}} {{tablelayout?rowsHeaderSource=Auto}}
 ^ Matière                                                          ^ Statut  ^ ECTS  ^ Responsable 25/26                                                                                                                                             ^ ^ 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: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: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:ip9|Ingénierie des protocoles]]                       |         |  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]]               |         |  6    | [[https://www.irif.fr/~jch/|Juliusz Chroboczek]]                                                                                                              | | [[..: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:m2:ie9|Systèmes Programmés Industriels]]                 |         |  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]]  | 
-| 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:m1:ouv|UE d'ouverture]]                                  |         |  3   | | [[..:ue:m1:ouv|UE d'ouverture]]                                  |         |  3   |
 | [[..:ue:m1:ouv|UE d'ouverture]]                                  |         |  6   | | [[..:ue:m1:ouv|UE d'ouverture]]                                  |         |  6   |
Ligne 34: Ligne 34:
 {{tablelayout?rowsHeaderSource=Auto}} {{tablelayout?rowsHeaderSource=Auto}}
 ^ Matière                                                       ^ statut  ^ ECTS ^ Responsable 25/26                                                                                              ^ ^ 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: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:algrep10|Algorithmique répartie]]                  |         |   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]]               |         |  3    | [[https://www.irif.fr/~vlad/|Vlady Ravelomanana]]                                                              | | [[..:ue:m2:gri10|Grands réseaux d'interaction]]               |         |  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é]]                                   |         |  3   | [[https://www.irif.fr/users/csikos/index|Monika Csikos]]                                                       | 
-| [[..:ue:m2:sa10|Systèmes avancés]]                            |         |  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: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:op10|Optimisation]]                                |         |  3   | [[http://fabien.viger.free.fr/|Fabien Viger]]                                                                  |
-| [[..: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:sa10|Systèmes avancés]]                            |         |  3   | [[https://yunes.informatique.univ-paris-diderot.fr/|Jean-Baptiste Yunès]]                                      |
-| [[..: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:iap10|Introduction à l'apprentissage profond]]     |  R      |  3   | [[https://guillaume.baudart.eu|Guillaume Baudart]]                                                             |+
 | [[..:ue:m1:ouv|UE d'ouverture]]                               |         |  3   | (si pas pris en 1ère période) | | [[..: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) | | [[..:ue:m1:ouv|UE d'ouverture]]                               |         |  6   | (si pas pris en 1ère période) |
formations/masters/langages_et_programmation/2nde_annee.1755691390.txt.gz · Dernière modification : de treinen

Outils de la page

Sauf mention contraire, le contenu de ce wiki est placé sous les termes de la licence suivante : CC Attribution-Noncommercial-Share Alike 4.0 International
CC Attribution-Noncommercial-Share Alike 4.0 International Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki