previous up next top index
Précédent : Activités éditoriales Remonter : Actions internationales Suivant : Europe


Contacts industriels

 
Sagem
  C. Queinnec a été consultant auprès de la société Sagem durant l'année 96.
CEA
 C. Queinnec a aussi été amené à participer à un groupe de travail du CEA sur la sémantique d'un langage d'extension de bibliothèques mathématiques.

François Rouaix a participé à la rédaction de l'étude de faisabilité du projet G7 Tel-Lingua (section sur le code mobile).

Par ailleurs, quelques industriels étrangers réalisent des développements importants en Objective Caml. Citons entre autres Microsoft Research (prototypage du système d'animation tridimensionnelle ActiveVRML), VLSI Libraries (conversions de descriptions de circuit), Next Solution (formatage de documents SGML utilisant les feuilles de style au standard ISO DSSSL), l'ENAC (développement d'algorithmes génétiques pour le contrôle du traffic aérien).

C. Queinnec a poursuivi sa participation au groupe de normalisation de l'AFNOR sur Lisp.