Projet :
COQ
Précédent : Actions européennes
Remonter : Actions régionales, nationales et
internationales Suivant : Diffusion de résultats
Sous-sections
Actions internationales
B. Werner travaille sur des
preuves d'algorithmes de calcul formel avec les membres du
département d'informatique de l'Université de La Corogne
(Espagne), où il a été invité deux semaines cette année.
E. Giménez fait partie de l'équipe de Relations
internationales de l'INRIA en ce qui concerne les relations
scientifiques avec l'Argentine et l'Uruguay. Il a travaillé à la
rédaction d'un projet de collaboration en informatique médicale
avec l'Universidad de la República (Uruguay). Ce projet, déposé
auprès du Ministère des Affaires Étrangères, concerne la
certification du code embarqué dans des stimulateurs cardiaques.