Précédent : Collaborations internationales Remonter : Actions régionales, nationales et internationales Suivant : Accueil de chercheurs étrangers
Précédent : Collaborations
internationales Remonter : Actions régionales, nationales
et internationales Suivant : Accueil
de chercheurs étrangers
Joëlle Despeyroux est responsable locale (site leader) du groupe de travail européen ESPRIT « Types », qui fait suite au projet européen ESPRIT BRA « Types pour les preuves et les programmes ». Ce groupe de travail a commencé le 15 septembre 1996, pour une durée de 3 ans. Il comprend 15 sites répartis en Europe (Finlande, France, Allemagne, Grande Bretagne, Italie, Pays-Bas et Suède). L'adresse Web de la page d'accueil de ce groupe est : http://www.cs.chalmers.se/ComputingScience/Research/Logic/TypesWG/