Précédent : Activités éditoriales Remonter :
Actions nationales
et Suivant : Divers
- Normalisation
Christian Queinnec a assuré la présidence du groupe de
normalisation Lisp à l'ISO et à l'AFNOR jusqu'à fin août
95.- ML 2000
Xavier Leroy est membre invité du comité ML 2000, qui réunit un
certain nombre de spécialistes travaillant sur ML et la
sémantique, dans le but de concevoir une version modernisée du
langage ML intégrant les avancées récentes dans ce domaine.
Xavier Leroy a participé aux réunions de janvier et août 1995
de ce comité.- Parallel Virtual MultiComputer
Christian Queinnec participe au réseau d'excellence ``Parallel
Virtual MultiComputer'' (VIM) du programme HCM de la CEE. Ce
réseau a été créé en 1993 et est animé par l'Université de
Bath.