Vous n'avez pas encore de notification

Page d'accueil

Options d'affichage

Abonné

Actualités

Abonné

Des thèmes sont disponibles :

Thème de baseThème de baseThème sombreThème sombreThème yinyang clairThème yinyang clairThème yinyang sombreThème yinyang sombreThème orange mécanique clairThème orange mécanique clairThème orange mécanique sombreThème orange mécanique sombreThème rose clairThème rose clairThème rose sombreThème rose sombre

Vous n'êtes pas encore INpactien ?

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

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.

0 commentaire
Il n'est plus possible de commenter cette actualité.