Précédent : Actions nationales et internationales Remonter : Actions nationales et internationales Suivant : Actions internationales
Précédent : Actions nationales et internationales
Remonter : Actions nationales et internationales
Suivant : Actions internationales
Joëlle Despeyroux, Laurence Rideau et Laurent Théry participent au groupe de travail Déduction et Calcul Formel du GDR/PRC Algèbre Mathématique et Informatique (AMI). Deux réunions de ce groupe ont eu lieu cette année.
Les travaux sur la sémantique de EIFFEL// s'inscrivent dans un projet commun avec le projet Inria SLOOP (avec Denis Caromel) et l'équipe de Patrick Sallé (IRIT, Toulouse) sur le thème « Outils pour la programmation en langages d'acteurs » soutenu par le PRC Programmation.
Isabelle Attali fait partie du comité de direction du GDR Programmation et anime le pôle « interfaces et environnements ».
Isabelle Attali participe aux groupes de travail SCOOP et FLASHI du GDR communication homme machine sur les thèmes liés aux interfaces homme machine : architectures logicielles, interopérabilité, spécifications formelles, etc.