Calendriers des formations d‘informatique
Master Informatique (SU)
Semestre 3
Sélectionnez vos UEs
ANDROIDE
AOTJ : Algorithmique pour l'optimisation et la théorie des jeux
COCOMA : Coordination et Consensus Multi-Agents
EVHI : Environnements virtuels hautement interactifs
IAR : Intelligence artificielle pour la robotique
ISG : Ingénierie des serious games
MADI : Modèles et Algorithmes pour la Décision dans l'Incertain
MADMC : Modèles, algorithmes pour décision multicritères, collective
MAOA : Modèles Avancés d'Optimisation et Applications
MOSIMA : Modélisation et Simulation Multiagents
BIM
GPOP : Génétique des populations
MeetU : MeetU
PHYG : Phylogénie et génomique comparative
RESYS : Réseaux biologiques et biologie des systèmes
SPLEX : Statistique classification et fouille de données (génomique)
STRUCT : Algorithmes en bioinformatique structurale: protéines et ARN
CCA
AFAE : Arithmétique flottante et analyse d'erreur
CRYPTA : Cryptologie avancée et appliquée
HPCA : Calcul haute performance : prog. et algorithmique avancée
POSSO : Introduction à la résolution de systèmes polynomiaux
SCA : Attaques par canaux auxiliaires
DAC
AMAL : Advanced Machine Learning and Deep Learning
App Stat-Maths : Apprentissage statistique
BDLE : Bases de Données Large Echelle
Intro AA-Maths : Introduction à l’apprentissage automatique
LODAS : Linked Open Data et Apprentissage Symbolique
M1OONCNL-Maths : Méthodes du premier ordre pour l’optimisation non convexe et non lisse
OCSA-Maths : Optimisation convexe séquentielle et applications
REDS : Data Science and Research Methodology
RLD : Reinforcement Learning and Advanced Deep Learning
XAI : eXplainable Artificial Intelligence
DIGIT
Projet M2 DIGIT 12 ECTS : Projet M2 DIGIT 12 ECTS
Projet M2 DIGIT 18 ECTS : Projet M2 DIGIT 18 ECTS
Projet M2 DIGIT 3 ECTS : Projet M2 DIGIT 3 ECTS
Projet M2 DIGIT 6 ECTS : Projet M2 DIGIT 6 ECTS
HPC
Approx variat fcts : Variational approximations of PDE's
Calcul haute performance : Calcul haute performance
EDP résolution méth éléme : Des EDP à leur résolution par la méthode des éléments finis
IMA
BIOMED : Imagerie biologique et médicale
IG3DA : Informatique 3D avancée
MAPIMED : Méthodologies et applications en imagerie médicale
PRAT : Séminaire et pratique en image
RDFIA : Reconnaissance formes pour analyse et interprétation images
TADI : Traitement avancé d'images
VISION : Techniques avancées de vision par ordinateur
QI
AQAlg : Advanced Quantum Algorithms
AQCrypt : Advanced Quantum Cryptography
PhQC : Photonics Quantum Computing
QAlg : Quantum Algorithms
QCrypt : Quantum Cryptography
QIT : Quantum Information Theory
RES
ANET : Autonomic networks
CELL : Réseaux cellulaires
GaN : Graphs and Networks
IOB : Internet of Blockchains
ITQoS : Ingénierie de trafic et qualité de service
MEPS : Modélisation, évaluation de performances des systèmes
NEVA : Networks Evolution with Virtualization and Automation
SECRES : Sécurité des réseaux
RES-DEV
DevSec : Failles logicielles et développement sécurisé
RCN-RES-Alt : Réseaux Cloud Native - RES Alt
RES-SEC
MOSR-ITESCIA : Méthodes et outils pour la supervision de réseaux (par lITESCIA)
MSSI : Management et sécurité des systèmes d'information
SAR
ARA : Algorithmique répartie avancée
ASTRE : Applications et systèmes temps réel répartis embarqués
DataCloud : Architecture et dév. des systèmes distribués à large échelle
DEVREP : Méthodes et Outils Logiciels pour le dév. d'appli. réparties)
NMV : Noyaux multi-cœurs et virtualisation
OIP : Orientation et Insertion Professionnelle
OIP - Groupe 1
OIP - Groupe 2
SAR-ATIAM
Acoustique Musicale : Acoustique Musicale
Fondamentaux ATIAM : Fondamentaux ATIAM
IM : Informatique musicale
PAM : Projets et applications musicales
Traitement signal musical : Traitement signal musical
SESI
COCAA : Conception de circuits intégrés analogiques avancés
DSP : Digital signal processing
HOTOP : Hot topics
IMSE : Programmation Interfaces Matérielles pour Systèmes embarqués
MASSOC : Modélisation analyse simulation systèmes embarqués sur puce
MOCCA : Methodes et outils pour conception des circuits numériques
PBD-HLS : Plateform-based design and high level synthesis
ProgPar/eHPC : Prog. parall. sys. embarqués / embedded HPC
SMC : Systèmes many core
SFPN-MSI
CM : Cryptologie Moderne
CYBER-Alt : Cybersécurité
FOR-Alt : Forensic
SPM-Alt : Sécurité des Plateforme mobiles
SRI : Supervision et Réponse à Incidents
STL
AAGA : Analyse d'algorithmes et génération aléatoire
ALASCA : Architectures logicielles avancées
DAAR : Développement des algorithmes d’application réticulaire
GPSTL : Gestion de projet STL
GRAPA : Groupe de Recherche en Algorithmique et en Programmation
PiSTL : Projet d'ingénierie STL
PPC : Paradigmes de Programmation Concurrente
SVP : Spécification et validation de programmes
TAS : Typage et Analyse Statique
TPEA : Techniques Professionnelles - Environnement & Applications
Voir l'URL d’abonnement