precedent suivant T.d. matieres up postscript index aide

Relations internationales

Précédent : Chili
Suivant : Venezuela

8.4. Uruguay



Coopération avec l'Universidad de la Republica.
Pendant les dix dernières années, l'INRIA ainsi que des sites liés au groupe de travail ESPRIT TYPES ont accueilli de jeunes chercheurs d'Amérique du Sud, principalement de l'Argentine et de l'Uruguay. A présent la plupart de ces jeunes chercheurs sont devenus des chercheurs confirmés, et plusieurs d'entre eux vont rentrer dans leur pays pour créer des groupes de recherche dans les domaines qui sont les leurs. Dans le but de préserver les liens établis avec l'INRIA, un projet de coopération scientifique avec le Département d'Informatique de l'Universidad de la República (InCo) a été déposé auprès du Ministère des Affaires Étrangères. Ce projet comprend trois aires thématiques :
  • Théorie des types et programmation fonctionnelle
  • Génération automatique de tests pour des programmes synchrones
  • Informatique médicale.

    Historique

    Un accord-cadre de coopération scientifique entre l'INRIA et l'Universidad de la República a été signé à la fin des années 80. Le deux projets principaux réalisés dans le cadre de cet accord concernent d'une part l'équipe MODEL de l'IRISA à Rennes, et d'autre part le Groupe de Recherche Opérationnelle à l'InCo :