| APM_5DA01_TP Foundations of Multi-Agent Systems Verification |
Cours scientifiques |
|
|
|
|
|
| CSC_5DA07_TP Collective Intelligence |
Cours scientifiques |
|
|
24 |
|
|
| CSC_50P13_EP Projet de 3A Algorithmes efficaces et fondements des lang... |
Programme d'approfondissement |
Informatique |
UE d'approfondissement, UE de projet. |
|
Luca Castelli Aleardi,
Gilles Schaeffer |
|
| CSC_52P01_EP Projet informatique en Calcul Quantique |
Programme d'approfondissement |
Informatique |
UE d'approfondissement, UE de projet. |
|
Titouan CARETTE |
|
| CSC_51054_EP Apprentissage 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. |
36 |
Davide Buscaldi,
Johannes Lutzeyer,
Michalis Vazirgiannis |
|
| CSC_51056_EP Analyse topologique de données |
Programme d'approfondissement |
Informatique |
UE de base, PA - BIOINF - cours/EA INF, PA - MAT-INFO - cours/EA INF, UE d'approfondissement. |
36 |
Steve Oudot |
|
| CSC_51058_EP Introduction à la Cryptologie |
Programme d'approfondissement |
Informatique |
UE de base, UE d'approfondissement, PA - MAT-INFO - cours/EA INF. |
36 |
Estelle Blin,
François Morain |
|
| CSC_51063_EP Théorie de l'information |
Programme d'approfondissement |
Informatique |
PA - MAT-INFO - cours/EA INF, UE de base, 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 d'approfondissement, UE de base. |
36 |
Daniel Augot,
Constantin ENEA |
|
| CSC_52001_EP Sujets avancés en calcul quantique et Informations |
Programme d'approfondissement |
Informatique |
|
36 |
Thomas Debris,
Marc-Olivier Renou |
|
| CSC_52003_EP Diagrammes et programmes quantiques |
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_52061_EP Randomisation en Informatique : Jeux, Graphes et Algorithmes |
Programme d'approfondissement |
Informatique |
UE d'approfondissement, UE de base, PA - MAT-INFO - cours/EA INF. |
36 |
Benjamin Doerr |
|
| CSC_52062_EP Géométrie algorithmique : de la théorie aux applications |
Programme d'approfondissement |
Informatique |
UE d'approfondissement, UE de base. |
36 |
Luca Castelli Aleardi |
|
| CSC_52064_EP Compilation |
Programme d'approfondissement |
Informatique |
UE de base, UE d'approfondissement. |
36 |
Jean-Christophe Filliâtre |
|
| CSC_52068_EP Cryptologie Avancée |
Programme d'approfondissement |
Informatique |
PA - MAT-INFO - cours/EA INF, UE de base, UE d'approfondissement. |
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_52080_EP Optimisation mathématique à large échelle |
Programme d'approfondissement |
Informatique |
PA - BIOINF - cours/EA INF, UE d'approfondissement, UE de base. |
36 |
Leo Liberti |
|
| CSC_54601_PS Calculabilité, Complexité, Modèles de Calcul |
Cours scientifiques |
Informatique |
|
28 |
|
|
| FMA_51057_EP Topologie algébrique |
Programme d'approfondissement |
Mathématiques |
PA - MAT-INFO - cours/EA MAT. |
36 |
Grégory Ginot |
|
| FMA_52060_PS Logique |
Cours scientifiques |
Mathématiques |
|
50 |
|
|
| FMA_52061_PS Lambda-calcul et catégories |
Cours scientifiques |
Mathématiques |
|
48 |
|
|
| FMA_52062_EP Introduction à la géométrie algébrique et courbes ellipti... |
Programme d'approfondissement |
Mathématiques |
PA - MAT-INFO - cours/EA MAT. |
36 |
Diego IZQUIERDO,
Nicolas Perrin |
|
| MDC_51002_EP Information et Calcul Quantique : Fondements |
Programme d'approfondissement |
Physique, Informatique |
|
36 |
Titouan CARETTE,
Thomas Debris,
Laurent Sanchez-Palencia |
|
| MDC_51006_EP Bases de l'Apprentissage Automatique |
Programme d'approfondissement |
Informatique, Mathématiques appliquées |
|
36 |
Jesse Read |
|
