Projet :
LANDE
Précédent : Relations bilatérales
internationales Remonter : Actions régionales, nationales
et internationales Suivant : Diffusion de
résultats
Accueil de chercheurs étrangers
Le projet a reçu:
- Norbert Eisinger, Université Ludwig-Maximilian de Munich,
travail sur la visualisation d'exécutions; visite d'une
semaine.
- Konstantinos Sagonas, Université de Leuven, travail sur
l'analyse statique de programmes; présentation au séminaire de
l'Irisa de ses résultats sur la recherche de points fixes par
la méthode de la résolution tabulée.
- Wolfram Schulte, de l'université d'Ulm, travail sur la
sémantique et l'analyse de programmes Java Card; visite d'une
durée de deux mois.
- Chun Yuan, University of Science and Technology of China
(Hefei-Anhui), travail sur les architectures de logiciels;
visite d'une durée de trois mois.
Le projet a par ailleurs accueilli un certain nombre de
visiteurs étrangers pour des visites ponctuelles. Nous ne les
passons pas en revue ici.