Equipe-projet ARIC Arithmétiques des ordinateurs, méthodes formelles, génération de code AriC étudie divers aspects de l'approximation et de l'algèbre d'un point de vue informatique, en...
Equipe-projet QINFO Traitement optimal de l'information avec des dispositifs quantiques Les dispositifs de traitement de l'information qui peuvent tirer parti des lois de la théorie...