projet : CROAP

previous up next contents
Précédent : Actions nationales Remonter : Actions régionales, nationales et internationales Suivant : Groupe de travail européen Types


   
Collaborations internationales

Isabelle Attali s'est rendue à l'université d'Adelaide pendant 3 semaines en juillet-août, puis à Santa Fe, New Mexico en décembre pour y rencontrer Jean-Luc Gaudiot et Andrew Wendelborn.

Dans le cadre des accords franco-brésiliens Inria-CNPq, Marjorie Russo a visité UFMA, Sao Luis (où Sidi Ould Ehmety est professeur invité) et UFPE, Recife (équipe de Paolo Borba et Ana Cavalcanti) pendant 15 jours. Elle y a donné des conférences, des démonstrations et des cours aux étudiants de niveau DEA sur la sémantique de Java et les outils de mise au point qui en sont dérivés. Cette visite devrait permettre de mettre sur pied de nouvelles collaborations sur ces sujets, les partenaires brésiliens ayant également entamé des recherches sur le même domaine.

Yves Bertot a rendu visite à l'Université Libanaise de Beyrouth où il a donné des conférences.

Yves Bertot a rendu visite à l'équipe de Robert Constable à l'université de Cornell à Ithaca New York.