Course Syllabus 2014/2015
 
PDF Extract [0.97 Mo] Anglais
Français
index
Semesters, Units :
Computer Science
Semester 5
I5-A Algorithms & mathematics 1
I5-B Programming and computing environment 1
I5-C project 1
I5-D Languages and Management for Engineers
Semester 6
I6-A Algorithms and mathematics 2
I6-B Programming and computing environment 2
I6-C Projects 2
I6-D Languages and Management for Engineers
Semester 7
I7-A Programmation et système
I7-B Internet et réseaux
I7-C Conception logiciel
I7-D Languages and Management
Semester 7ESSV
European Studies in Software Verification
I7ESSV-A Extended automata
I7ESSV-B Logic
I7ESSV-C Formal Design
I7ESSV-D Research seminar
I7ESSV-E Research & Programming project
Semester 8
I8-A Systems and Applications
I8-B UE personnalisée
I8-C Software engineer project
I8-D Languages and Management
I8-E UE-B: case 1 : 1 module EX214 + 2 modules EX205 without TOEIC
I8-F UE-C: case 2 : 1 module EX214 + 1 module EX205 + 2 modules EX206 without TOEIC
I8-G UE-B: case 3 : 1module EX214+ 2 modules EX220 + LC206 (TOEIC recovery)
I8-H UE-B: case 4 : 1 module EX214 + 1 module EX205 + 1 module EX206 + LC206 (TOEIC recovery)
Semester 8ESSV
European Studies in Software Verification
I8ESSV-A Advanced Semester 1 - mobility
I8ESSV-B Mobility: Université Libre de Bruxelles
I8ESSV-C Mobility: Technische Universität München
I8ESSV-D Mobility: Universiteit Twente
Semester 9
I9-A Culture de l'ingénieur
Semester 9EM
E-Management
I9EM-A Managements des projets innovants
I9EM-B Transfert technologique
I9EM-C Marketing des activités de services
I9EM-D Finances : Busines Plan
I9EM-E Business Challenge
Semester 9ESSV
European Studies in Software Verification
I9ESSV-A Modeling techniques
I9ESSV-B Software verification
I9ESSV-C Games and controller synthesis
I9ESSV-D Research project
I9ESSV-E Types and proofs
I9ESSV-F Formal design of software
Semester 9GL
Software Engineering
I9-A Culture de l'ingénieur
I9GL-A Software Management
I9GL-B Design and Validation of software systems
I9GL-C Data Engineering
I9GL-D Distributed and mobile Software
I9GL-E Personnalisation
Semester 9IREF
Ingénierie du Risque Economique et Financier
C9IREF-A Instruments d'évaluation des risques financiers
C9IREF-B Mesures des risques financiers
C9IREF-C Gestion des risques financiers
C9IREF-D Langue et culture
Semester 9PRCD
Parallélisme, Régulation et Calcul Distribué
I9-A Culture de l'ingénieur
I9PRCD-A Langages et supports d'exécution
I9PRCD-B Architectures, systèmes et communications
I9PRCD-C Algorithmique et ordonnancement
I9PRCD-D Algorithmique et applications
I9PRCD-E Personnalisation
Semester 9ROBOT
Robotique et apprentissage
I9ROBOT-A Modélisation et commande de systèmes robotiques
I9ROBOT-B Architecture of Robotic Systems
I9ROBOT-C Robotique avancée
I9ROBOT-D Imaging tools for robotics
I9ROBOT-E Human robot interactions and multi-agents systems
Semester 9RSR
Networking and Distributed Systems
I9-A Culture de l'ingénieur
I9RSR-A Communication networks
I9RSR-B Distributed objects and systems
I9RSR-C Security and network administration
I9RSR-D Network administration tools
I9RSR-E Personalisation
Semester 9TM
Multimedia Technologies and Video Games
C9TM-A Multimedia data coding and processing
C9TM-B Computer Vision (VO)
C9TM-C Choice between Image Synthesis (SI) or Video Games (JI) or ASSM
C9TM-D Choice: VO (Computer Vision) or JI (Video Games) or ASSM
C9TM-E Semester project and software development
C9TM-F English and Management
C9TM-G Computer Graphics
C9TM-H Computational Music
C9TM-I Analysis and Synthesis of Musical Sound (ASSM)
C9TM-J Games and Interaction (JI)
C9TM-K Choice between Images Synthesis (Si) and Computer Music Processing (TIM)
Semester 10
C0-A Projet de Fin d'Etudes (stage de 3ème année)
C0-B Stage de 2ème année
C0-C Projet Professionnel