Vous devez valider sur toute la durée de l'année :
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).
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.
| Matière | Statut | ECTS | Responsable 25/26 |
|---|---|---|---|
| Langage de Programmation Moderne | O | 3 | Jean-Baptiste Yunès |
| Méthodes formelles de vérification | R | 6 | Ahmed Bouajjani |
| Modélisation et Spécification | R | 6 | Mohammed Foughali |
| Programmation Synchrone | R | 6 | Adrien Guatto |
| Architecture des Systèmes de Bases de Données | 3 | Emmanuel Fuchs | |
| Bases de données spécialisées | 6 | Amélie Gheerbrant, Giovanni Bernardi et Cristina Sirangelo | |
| Fouille de données et aide à la décision | 3 | Fabien Viger | |
| Ingénierie des protocoles | 3 | (non ouvert en 25-26) | |
| Protocoles des services Internet | 6 | Juliusz Chroboczek | |
| Systèmes Programmés Industriels | 3 | Pierre-Yves Piriou | |
| UE d'ouverture | 3 | ||
| UE d'ouverture | 6 |
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.
| Matière | statut | ECTS | Responsable 25/26 |
|---|---|---|---|
| Programmation Comparée | O | 3 | Julien Narboux, Gabriel Scherer |
| Transformation de programmes | O | 3 | Gulio Manzonetto |
| Analyse statique | R | 3 | Giovanni Bernardi |
| Architecture des Systèmes d'Information | R | 3 | Emmanuel Fuchs |
| Interfaces et Outils de MacOS-X | R | 3 | Jean-Baptiste Yunès |
| Introduction à l'apprentissage profond | R | 3 | Guillaume Baudart |
| Administration système et réseaux | 3 | Pierre-Évariste Dagand | |
| Algorithmique répartie | 6 | Lélia Blin | |
| Grands réseaux d'interaction | 3 | Vlady Ravelomanana | |
| Méthodes formelles approche probabiliste | 3 | François Laroussinie | |
| Mobilité | 3 | Monika Csikos | |
| Optimisation | 3 | Fabien Viger | |
| Systèmes avancés | 3 | Jean-Baptiste Yunès | |
| UE d'ouverture | 3 | (si pas pris en 1ère période) | |
| UE d'ouverture | 6 | (si pas pris en 1ère période) |
Stage en entreprise, d'une durée de 4 à 6 mois, entre le 1 avril et le 30 septembre.