Précédent : Actions internationales Remonter : Actions internationales Suivant : Diffusion des résultats
Précédent : Actions internationales Remonter :
Actions
internationales Suivant : Diffusion des
résultats
Le Working Group ESPRIT ``TYPES'' a démarré
officiellement le 15 septembre. Il porte sur le développement
assisté par ordinateur de preuves et de programmes et regroupe
principalement des équipes de Cambridge, Edinburgh, Göteborg,
Helsinki, Manchester, Munich, Nijmegen, Oxford, Paris 7, Turin,
Udine et Utrecht. Ce groupe est piloté par un comité de trois
personnes. Gérard Huet faisait partie de ce comité la première
année et sera remplacé par Christine Paulin.