Création d'une unité mixte internationale franco-indienne en informatique - Communiqués et dossiers de presse - CNRS
L'UMI Relax, laboratoire franco-indien de recherche en informatique, se consacrera plus précisément au domaine de l'informatique théorique (algorithmique, logique, combinatoire, modèles du calcul, complexité, etc., en plus des méthodes formelles) et à ses applications directes comme la vérification, les systèmes distribués ou la science des données.
