ReLaX : une unité mixte franco-indienne sur l’informatique théorique
Le 01 décembre 2017 à 09h22
1 min
Sciences et espace
Sciences
Plusieurs centres de recherche se sont associés afin de mettre sur pied cette collaboration internationale : le CNRS, l'université de Bordeaux, l'ENS Paris-Saclay, le CMI (Chennai Mathematical Institute) et l'IMSC (Institute of Mathematical Sciences), ces deux derniers étant indiens.
Ensemble, ils travailleront notamment sur l'informatique théorique : algorithmique, logique, combinatoire, modèles du calcul, complexité, ainsi que des méthodes formelles. Des applications pratiques sont également évoquées avec la vérification, les systèmes distribués et la science des données.
De plus amples informations sont disponibles sur ce site.
Le 01 décembre 2017 à 09h22
Commentaires (0)
Vous devez être abonné pour pouvoir commenter.
Déjà abonné ? Se connecter
Abonnez-vous