• Aucun résultat trouvé

Création d’une unité mixte internationale franco-indienne en informatique

N/A
N/A
Protected

Academic year: 2022

Partager "Création d’une unité mixte internationale franco-indienne en informatique"

Copied!
2
0
0

Texte intégral

(1)

COMMUNIQUÉ DE PRESSE NATIONAL I PARIS I 30 NOVEMBRE 2017

Le CNRS, l’université de Bordeaux, l’ENS Paris-Saclay, et leurs partenaires indiens du CMI (Chennai Mathematical Institute) et du IMSC (Institute of Mathematical Sciences) viennent de créer Relax, une unité mixte internationale en informatique.

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.

Servant de plate-forme, l’UMI facilitera les relations franco-indiennes dans ces domaines de recherche. Ouverte aussi aux interactions naturelles avec les mathématiques, Relax visera à développer des collaborations industrielles avec des entreprises françaises et indiennes. Elle s’appuiera sur un réseau de collègues indiens passés par la France à un moment de leur carrière et désireux d’approfondir la collaboration franco-indienne.

Les partenaires indiens de cette UMI sont chacun de renommée internationale. Le CMI occupe une position unique dans le milieu universitaire indien, avec des groupes de recherche en mathématiques et en informatique théorique qui attirent un financement conséquent de la part des entreprises et du gouvernement. IMSC est un institut de recherche du ministère de l'Énergie atomique du gouvernement indien. Il possède des groupes de recherche en mathématiques, en informatique théorique et en physique théorique, et plus récemment en biologie computationnelle.

RelaX est l'aboutissement de plus de 15 ans d'échanges entre les équipes de recherche des deux pays en informatique. Commençant avec les projets du Cefipra vers l'an 2000, cette collaboration avait abouti en 2012 à la création du Laboratoire international associé Informel. Au cours des cinq dernières années, ce laboratoire de méthodes formelles franco-indien a permis de nombreuses visites de chercheurs français en Inde comme de chercheurs indiens en France, soutenu un certain nombre de doctorants dont des doctorats en cotutelles et de chercheurs postdoctoraux, qui occupent aujourd’hui des postes dans des institutions de haut niveau, généré une soixantaine de publications scientifiques conjointes. Un essaimage scientifique exemplaire.

Création d’une unité mixte internationale

franco-indienne en informatique

(2)

Pour plus d’informations : http://projects.lsv.ens-paris-saclay.fr/relax/

Contact

Presse CNRS l Julien Guillaume l T 01 44 96 46 35 l julien.guillaume@cnrs-dir.fr

Références

Documents relatifs

Nos moyens matériels <:4C> ne nous permettaient pas d'organiser une rencontre internationale de trop grande ampleur, mais comme il s'agissait après tout d'une première,

The main results in this report are: the description of the transposition in Isabelle/HOL of the operational semantics of Circus with some related problems and decisions;

L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des

Si on enlève une arête, on coupe l’unique chaîne qui reliait ses deux extrémités, le graphe n’est plus connexe. ‡ supposons la propriété 4 vraie et aussi que G a

„ Les équations de récurrence sont aux mathématiques discrètes ce que les équations différentielles sont aux mathématiques continues. ‡ On peut les résoudre par

A l’aide l’exercice précédent, écrire une fonction Scilab qui prend en entrée un entier naturel n non nul, qui simule cette expérience aléatoire et qui renvoie la liste L

D’un point de vue institutionnel, le paysage s’étant profondément diversifié sur la période récente (nouvelle université de Bordeaux, acteurs en valorisation,

3.2 Using DSM-PM2 to build a Java onsisteny protool.. This work has been supported by