Bases de données avancées. Sixièmes journées. INRIA, Montpellier, 25-28 septembre 1990. - Institut national de recherche en informatique et en automat, 1991.
Coll.Div.Info. FRANCE / INRIA , 1986
Problèmes non linéaires appliqués. Méthodes spectrales. Colloque tenu les 27-30 janvier 1986 à l'INRIA-Roquencourt. Organisé en collaboration avec le CEA et EDF. - Institut national de recherche en informatique et en automat, 1986.
Coll.Div.Info. FRANCE / INRIA , 1984
Simulation numérique en mécanique des fluides. Colloque tenu à l'INRIA-Roquencourt du 30 janvier au 3 février 1984. Organisé par le service des relations extérieures "cours et séminaires". - Institut national de recherche en informatique et en automat, 1984.
Journées Génie Logiciel, service de synthèse et d'orientation de la recherche en informatique, Pont à Mousson, 20-22 février 1979. - Institut national de recherche en informatique et en automat, 1979.
Synthèse, manipulation et transformation de programmes, journées d'études SESORI, Service de synthèse et d'orientation de la recherche en informatique. (Saint Rémy de Provence, 10-12 mai 1978). - Institut national de recherche en informatique et en automat, 1978.
Coll.Div.Info. FRANCE / INRIA , 1975
Construction, amélioration et vérification de programmes. Proving and improving programs. 1-3 juil.1975. Arc-et-Senans. - Institut national de recherche en informatique et en automat, 1975.
Coll.Div.Info. FRANCE / INRIA , 1974
Journées Informatique et Philologie. IRIA, Rocquencourt les 4 - 5 novembre 1974. - Institut national de recherche en informatique et en automat, 1975.
Numéro spécial du congrés d'informatique 1970 de l'AFCET. Bulletin de l'IRIA. - Institut national de recherche en informatique et en automat, 1970.