Connexion
Abonnez-vous

ReLaX : une unité mixte franco-indienne sur l’informatique théorique

ReLaX : une unité mixte franco-indienne sur l'informatique théorique

Le 01 décembre 2017 à 09h22

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.

Abonnez-vous

ReLaX : une unité mixte franco-indienne sur l’informatique théorique

Fermer