| CSC_4SL04_TP Bases de la vérification des systèmes distribués |
Cours scientifiques |
|
|
24 |
|
|
| CSC_51050_EP Algorithmique avancée |
Programme d'approfondissement |
Informatique |
PA - MAT-INFO - cours/EA INF, PA - BIOINF - cours/EA INF, UE de base, UE d'approfondissement. |
36 |
Gilles Schaeffer |
|
| CSC_51051_EP Logique Informatique : de l'Intelligence Artificielle à l... |
Programme d'approfondissement |
Informatique |
UE d'approfondissement, PA - MAT-INFO - cours/EA INF, UE de base. |
36 |
Samuel Mimram |
|
| CSC_51054_EP Apprentissage automatique et apprentissage profond |
Programme d'approfondissement |
Informatique |
UE de base, UE d'approfondissement, PA - BIOINF - cours/EA INF, PA-MAP XOR (INF554, MAP553). |
36 |
Michalis Vazirgiannis |
|
| CSC_51058_EP Introduction à la Cryptologie |
Programme d'approfondissement |
Informatique |
PA - MAT-INFO - cours/EA INF, UE de base, UE d'approfondissement. |
36 |
François Morain |
|
| CSC_51059_EP Introduction aux architectures informatiques et aux systè... |
Programme d'approfondissement |
Informatique |
UE de base, UE d'approfondissement. |
36 |
Francesco Zappa Nardelli |
|
| CSC_51063_EP Introduction à la théorie de l'information |
Programme d'approfondissement |
Informatique |
UE de base, PA - MAT-INFO - cours/EA INF, UE d'approfondissement. |
36 |
Thomas Debris |
|
| CSC_51071_EP Structures de données distribuées, avec un focus sur les ... |
Programme d'approfondissement |
Informatique |
UE de base, UE d'approfondissement. |
36 |
Constantin ENEA |
|
| CSC_51075_EP Méthodes formelles pour les systemes cyber-physiques: des... |
Programme d'approfondissement |
Informatique |
UE d'approfondissement, UE de base. |
36 |
Sylvie Putot |
|
| CSC_52003_EP Circuits quantiques avancés |
Programme d'approfondissement |
Informatique |
|
36 |
Titouan CARETTE |
|
| CSC_52060_EP Algorithmique parallèle et distribuée |
Programme d'approfondissement |
Informatique |
UE d'approfondissement, UE de base. |
36 |
Patrick Carribault |
|
| CSC_52064_EP Compilation |
Programme d'approfondissement |
Informatique |
UE de base, UE d'approfondissement. |
36 |
Jean-Christophe Filliâtre |
|
| CSC_52065_EP Sécurité des Systèmes d'Information |
Programme d'approfondissement |
Informatique |
UE d'approfondissement, UE de base. |
|
Guenael Renault |
|
| CSC_52068_EP Cryptologie Avancée |
Programme d'approfondissement |
Informatique |
UE d'approfondissement, UE de base, PA - MAT-INFO - cours/EA INF. |
36 |
Benjamin Smith |
|
| CSC_52070_EP Vérification logique des systèmes hybrides |
Programme d'approfondissement |
Informatique |
|
36 |
Jeremy Dubut |
|
| CSC_52071_EP Fondements de la vérification des logiciels |
Programme d'approfondissement |
Informatique |
|
36 |
Ambroise Lafont |
|
| CSC_52081_EP Apprentissage par renforcement et Agents Autonomes |
Programme d'approfondissement |
Informatique |
PA - BIOINF - cours/EA INF, UE de base, UE d'approfondissement. |
36 |
Jesse Read |
|
| CSC_52087_EP Apprentissage profond avancé |
Programme d'approfondissement |
Informatique |
UE d'approfondissement. |
|
Vicky Kalogeiton,
Johannes Lutzeyer,
Xi Wang,
Ye Zhu |
|
| CSC_52992_EP Stage en Sciences Informatiques (y compris l'IA) |
Stage |
Informatique |
|
|
Davide Buscaldi,
François Fages,
Patrick LOISEAU,
François Morain |
|
| LDE_51100_EP Allemand Débutant |
Langues |
Langues |
|
|
Heidi Knörzer |
|
| LEN_50512_EP Anglais - Jeux et société |
Langues |
Langues |
|
|
Laura-Hilary Langlois |
|
| LEN_50514_EP Anglais - Les enjeux mondiaux sous d'autres angles |
Langues |
Langues |
|
|
Laura-Hilary Langlois |
|
| LEN_51309_EP Anglais niveau intermédiaire supérieur - Cinéma américain... |
Langues |
Langues |
|
|
Laura-Hilary Langlois |
|
| LES_51100_EP JE1 - Espagnol Débutant |
Langues |
Langues |
|
|
Christian GALDON GASCO |
|
| LES_51300_EP JE1 - B1/B2 - Espagnol |
Langues |
Langues |
|
2 |
Christian GALDON GASCO |
|
| LFR_50203_EP JE1 - A2/B1 - Langue française et civilisation |
Langues |
Langues |
|
30 |
Carole Trevise |
|
| LFR_50205_EP MA1 - A2/B1 - Langue française et civilisation |
Langues |
Langues |
|
30 |
Carole Trevise |
|
| LFR_51520_EP Français avancé / très avancé - Art et politique XIXe-XXe... |
Langues |
Langues |
|
30 |
Julie André |
|
| MDC_51002_EP Information et Calcul Quantique : Fondements |
Programme d'approfondissement |
Physique, Informatique |
|
36 |
Titouan CARETTE,
Thomas Debris,
Laurent Sanchez-Palencia |
|
