Génie des Logiciels et des Systèmes d'Information
Méthodes Formelles, Modèles et Langages
![]() |
CAPP Calculs algorithmes programmes et preuves
|
Systèmes intelligents pour les données, les connaissances et les humains
Systèmes Interactifs et Cognitifs
![]() |
IIHM Ingénierie de l'Interaction Humain-Machine
|