| INF551 Logique Informatique : de l'Intelligence Artificielle à l... | Programme d'approfondissement | Informatique | UE de base, PA - MAT-INFO - cours/EA INF, UE d'approfondissement. |  | Samuel Mimram |  | 
        | INF554 Apprentissage Automatique et Profond | Programme d'approfondissement | Mathématiques appliquées, Informatique | UE d'approfondissement, UE de base, PA-MAP XOR (INF554, MAP553), PA - BIOINF - cours/EA INF. |  | Michalis Vazirgiannis |  | 
        | INF557 De l'Internet à l'IoT : Pricipes fondamentaux du réseau i... | Programme d'approfondissement | Informatique | UE de base, UE d'approfondissement. |  | Thomas Clausen |  | 
        | INF558 Introduction à la Cryptologie | Programme d'approfondissement | Informatique | UE de base, PA - MAT-INFO - cours/EA INF, UE d'approfondissement. | 36 | François Morain |  | 
        | INF560 Algorithmique parallèle et distribuée | Programme d'approfondissement | Informatique | UE de base, UE d'approfondissement. |  | Patrick Carribault |  | 
        | INF567 Réseaux sans fil : du Cellulaire aux Objets Connectés | Programme d'approfondissement | Informatique | UE d'approfondissement, UE de base. |  | Juan-Antonio Cordero-Fuertes, Marceau Coupechoux
 |  | 
        | INF568 Cryptologie Avancée | Programme d'approfondissement | Informatique | UE de base, UE d'approfondissement, PA - MAT-INFO - cours/EA INF. |  | Benjamin Smith |  | 
        | INF571 Calcul Distribué | Programme d'approfondissement | Informatique | UE de base, UE d'approfondissement. |  | Bernadette Charron-Bost |  | 
        | INF580 Optimisation mathématique à large échelle | Programme d'approfondissement | Informatique | UE d'approfondissement, UE de base, PA - BIOINF - cours/EA INF. |  | Leo Liberti |  | 
        | INF581 Apprentissage Automatique Avancé et Agents Autonomes | Programme d'approfondissement | Informatique | UE d'approfondissement, UE de base, PA - BIOINF - cours/EA INF. |  | Patrick LOISEAU, Jesse Read
 |  | 
        | INF586 Sécurité des réseaux | Programme d'approfondissement | Informatique | UE d'approfondissement, UE de base. |  | Thomas Clausen |  | 
        | INF641 Introduction to the verification of neural networks | Cours scientifiques | Informatique |  |  | Eric Goubault, Sylvie Putot
 |  | 
        | INF656L Decision procedure for Artificial Intelligence | Cours scientifiques | Informatique | UE de spécialité. | 24 | Sergio Mover |  |