Outils pour utilisateurs

Outils du site


enseignement:masters:master-lp-m2

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édentes Révision précédente
Prochaine révision
Révision précédente
enseignement:masters:master-lp-m2 [24/09/20 12:45]
Treinen Ralf [Cours obligatoires] lien POCA
enseignement:masters:master-lp-m2 [28/09/20 15:29]
Treinen Ralf [Cours fondamentaux aux choix] lien methodes formelles Verif
Ligne 1: Ligne 1:
 ====== M2 Langages et Programmation (LP) ====== ====== M2 Langages et Programmation (LP) ======
- 
-** Cette page décrit l’organisation du M2-LP à partir de la rentrée en septembre 2019 (version préliminaire) ** 
  
 Chacun des cours vaut 3 ECTS. Vous devez valider sur toute la durée de l'​année : Chacun des cours vaut 3 ECTS. Vous devez valider sur toute la durée de l'​année :
Ligne 10: Ligne 8:
 ===== Cours de la première période ===== ===== Cours de la première période =====
 La première période commence fin septembre ou début octobre, et se termine avant les vacances de Noël. Vous choisisez vos cours au début de la première période, votre choix doit être approuvé par les responsable du M2-LP. La première période commence fin septembre ou début octobre, et se termine avant les vacances de Noël. Vous choisisez vos cours au début de la première période, votre choix doit être approuvé par les responsable du M2-LP.
 +
 +  * **{{enseignement:​masters:​anglais-modalites_d_inscription_-_m1-m2.pdf |Procedure d'​inscription au cours d'​Anglais}} à faire le plus rapidement possible en debut de la periode 1**. Attention tous les étudiants doivent faire ce test, aussi ceux qui ont déjà fait un test d'​anglais l'​année dernière.
 +  * **[[http://​porrum.informatique.univ-paris-diderot.fr:​8080/​~etudiant/​|Inscription pédagogique ​ à faire ici]] entre vendredi 25 septembre midi et samedi 26 septembre midi.**
  
 ==== Cours obligatoires ==== ==== Cours obligatoires ====
  
 ^ Matière ^ Responsable 20/21 ^ ^ Matière ^ Responsable 20/21 ^
-| [[/​enseignement/​anglais_de_specialite|Anglais de Spécialité]] | |+| [[/​enseignement/​anglais_de_specialite|Anglais de Spécialité]] | Precious Brown|
 | [[https://​moodle.u-paris.fr/​enrol/​index.php?​id=10762|Programmation Objets : Concepts Avancées]] | Michel Blancard | | [[https://​moodle.u-paris.fr/​enrol/​index.php?​id=10762|Programmation Objets : Concepts Avancées]] | Michel Blancard |
  
-{{enseignement:​masters:​anglais-modalites_d_inscription_-_m1-m2.pdf |Procedure d'​inscription au cours d'​Anglais}} 
-(à faire le plus rapidement possible en debut de la periode 1) 
- 
-Attention tous les étudiants doivent faire ce test, aussi ceux qui ont déjà fait un test d'​anglais l'​année dernière. 
  
 ==== Cours fondamentaux aux choix ==== ==== Cours fondamentaux aux choix ====
  
 ^ Matière ^ Responsable 20/21 ^ ^ Matière ^ Responsable 20/21 ^
-| Méthodes Formelles de Vérification | [[https://​www.irif.fr/​~abou/​|Ahmed Bouajjani]]|+| [[https://​www.irif.fr/​~abou/​cours-mfverif.html|Méthodes Formelles de Vérification]] | [[https://​www.irif.fr/​~abou/​|Ahmed Bouajjani]]|
 | [[https://​www.irif.fr/​~francoisl/​m2modspec.html|Modélisation et Spécification]] | [[https://​www.irif.fr/​~sangnier/​main-sangnier.html|Arnaud Sangnier]], [[https://​www.irif.fr/​~francoisl|François Laroussinie]]| | [[https://​www.irif.fr/​~francoisl/​m2modspec.html|Modélisation et Spécification]] | [[https://​www.irif.fr/​~sangnier/​main-sangnier.html|Arnaud Sangnier]], [[https://​www.irif.fr/​~francoisl|François Laroussinie]]|
 | [[https://​gaufre.informatique.univ-paris-diderot.fr/​aguatto/​progsync-m2-eidd-20-21|Programmation Synchrone]] | [[https://​www.irif.fr/​~guatto/​|Adrien Guatto]] | | [[https://​gaufre.informatique.univ-paris-diderot.fr/​aguatto/​progsync-m2-eidd-20-21|Programmation Synchrone]] | [[https://​www.irif.fr/​~guatto/​|Adrien Guatto]] |
enseignement/masters/master-lp-m2.txt · Dernière modification: 28/09/20 15:29 par Treinen Ralf

Outils de la page