Ceci est une ancienne révision du document !
Chacun des cours vaut 3 ECTS. Vous devez valider sur toute la durée de l’année :
Présentation de la réunion de rentrée du 25 septembre 2020 à 10h30 amphi 9E
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.
Vous pourrez trouver où sont les supports des cours à partir de là: http://www.informatique.univ-paris-diderot.fr/wiki/doku.php/enseignement/supports_de_cours
Matière | Statut | Responsable 20/21 | |
---|---|---|---|
Anglais de Spécialité | O | Precious Brown initials.pbpb@gmail.com | |
Architecture des Systèmes de Bases de Données | S | Emmanuel Fuchs | |
Bases de Données Spécialisées | Giovanni Bernardi, Amélie Gheerbrant, Cristina Sirangelo | ||
Fouille de données et aide à la décision | S | Fabien Viger | |
Informatique embarquée | S | 2 cours: EIDD et MIC | |
Ingénierie des protocoles | S | Stephane Maag | |
Méthodes Formelles de Vérification | Ahmed Bouajjani | ||
Modélisation et Spécification | S | Arnaud Sangnier et Francois Laroussinie | |
Programmation Synchrone | S | Adrien Guatto et Alexis Saurin | |
Programmation objets : concepts avancés | Michel Blancard et Aldric Degorre | ||
Protocoles des services Internet | S | Carole Delporte |
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.
Inscription pédagogique à faire ici : entre vendredi 25 septembre midi et samedi 26 septembre midi
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 | Responsable 20/21 | |
---|---|---|---|
Administration système et réseaux | S | Jean-Michel Moreno | |
Algorithmique répartie | S | Hugues Fauconnier | |
Architecture des Systèmes d'Information | S | Emmanuel Fuchs | |
Grands réseaux d’interaction | S | Laurent Viennot | |
Interfaces et Outils de MacOS-X | S | Jean-Baptiste Yunès | |
Méthodes algorithmiques pour l’accés à l’information numérique | S | Sylvain Perifel | |
Méthodes formelles approche probabiliste | Arnaud Sangnier | ||
Optimisation | Fabien Viger | ||
Programmation Comparée | Adrien Guatto, Hugo Ferée , Pierre Letouzey | ||
Programmation Logique et Par Contraintes | Ralf Treinen | ||
Programmation répartie | S | Carole Delporte | |
Systèmes avancés | S | Jean-Baptiste Yunès | |
Transformation de programmes | Pierre Letouzey | ||
Typages et analyse statique | Giovanni Benardi |
Stage en entreprise, d’une durée de 4 à 6 mois, entre le 30 mars et le 30 septembre.