Nous participons au projet inter-PRC ASAR (Atelier d'accueil générique pour la Synthèse ARchitecturale, bâti autour de CENTAUR). L'objectif du projet est de mettre en place en CENTAUR, un environnement générique pour la CAO d'architectures. Nos partenaires sont : le LIVE (Evry), l'IRISA (Rennes), le CERT (Toulouse), le LASTI (Lannion) et l'I3S (Nice).
Nous participons au thème Déduction et Calcul Formel du PRC Algèbre Mathématique et Informatique.
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.
Depuis Octobre 95, Isabelle Attali est responsable scientifique de l'Ecole des Jeunes Chercheurs en Programmation du GDR programmation.
Gilles Kahn a présidé une table ronde sur le Genie Logiciel lors du 50ème anniversaire du CNET à Paris et présenté l'ensemble des recherches sur les environnements de programmation de l'INRIA lors des journées Recherche-Industrie consacrées au Programme 2.
Des membres du projet ont organisé la journée du pôle ``Interfaces et Environnements'' du GDR Programmation en Février 95 et un colloque sur l'utilisation et la conception d'outils de preuve interactifs en Mars 95.