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 [12/01/21 17:18] (Version actuelle)
Treinen Ralf lien vers la liste des supports de cours
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 7: Ligne 5:
   * 8 autres cours parmi ceux listés sur cette page, dont au moins 5 des //cours fondamentaux//​   * 8 autres cours parmi ceux listés sur cette page, dont au moins 5 des //cours fondamentaux//​
   * le stage (24 ECTS)   * le stage (24 ECTS)
 +
 +===== Liste de pages web de cours =====
 +Les pages web de différents cours sont recensées ​
 +[[http://​www.informatique.univ-paris-diderot.fr/​wiki/​doku.php/​enseignement/​supports_de_cours|ici]].
 +
  
 ===== 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]] |
Ligne 48: Ligne 50:
 | Programmation Comparée | [[https://​www.irif.fr/​~guatto|Adrien Guatto]], [[https://​hugo.feree.fr/​|Hugo Ferée | Programmation Comparée | [[https://​www.irif.fr/​~guatto|Adrien Guatto]], [[https://​hugo.feree.fr/​|Hugo Ferée
 ]], [[https://​www.irif.fr/​users/​letouzey/​index|Pierre Letouzey]] | ]], [[https://​www.irif.fr/​users/​letouzey/​index|Pierre Letouzey]] |
-| Transformation de Programmes | [[https://​www.irif.fr/​users/​letouzey/​index|Pierre Letouzey]] |+| [[https://​gaufre.informatique.univ-paris-diderot.fr/​letouzey/​transprog-2021|Transformation de Programmes]] | [[https://​www.irif.fr/​users/​letouzey/​index|Pierre Letouzey]] |
  
 ==== Cours fondamentaux aux choix ==== ==== Cours fondamentaux aux choix ====
enseignement/masters/master-lp-m2.1600944357.txt.gz · Dernière modification: 24/09/20 12:45 par Treinen Ralf