Stages
Page du cours
Conférences
Conférences (Rapports L3) 1er Septembre
Algorithme de placement de processus à l’aide de modèles enrichis
Conférences (Rapports L3) 1er Septembre
Représentation et analyse des phénomènes de coercion en sémantique des cadres
Conférences (Rapports L3) 1er Septembre
Quantum Computing
Conférences (Rapports L3) 6 Septembre
SQL query evaluation with correctness guarantees
Conférences (Rapports L3) 8 Septembre
Implementation of an attack on NTRU assumption
Conférence Varsovie 1 : Game Theory
Oskar Skibski :
Conférences (Rapports L3) 1er Septembre
Assistants de preuves Assia Mahboubi
Conférences (Rapports L3) 1er Septembre
A la recherche du son 3D - François Alouges Question : est-ce qu’on peut imiter l’écoute 3D avec un casque ?
Véronique Cortier : Vote électronique
Véronique Cortier : équipe “méthodes formelles” au LORIA, à Nancy.
Tutorat: Cours 1
Enseignante: Valérie Péris-Delacroix