Le projet a accueilli le professeur Richard Taylor de l'université de Californie à Irvine du 1er Mars au 31 Juillet 95. Nous avons travaillé ensemble sur les perspectives de la recherche en informatique.
Isabelle Attali a visité l'équipe de Fabio Da Silva, Universidade Federal de Pernambuco, Recife pour un mois (coopération sur la programmation par objets, notamment les aspects sémantique et parallélisme).
Yves Bertot a été invité à un séminaire sur l'automatisation des preuves par récurrence à Dagstuhl en Allemagne.
Joëlle Despeyroux a été invitée dans le groupe de David McQueen, aux laboratoires AT&T Bell dans le New Jersey, du 15 janvier au 24 mars 95. Les thèmes de recherche qu'elle a développés là-bas ont été l'induction et la syntaxe abstraite d'ordre supérieur et les preuves de systèmes réactifs. Lors de ce séjour, Joëlle Despeyroux a passé une semaine dans l'équipe de Frank Pfenning à l'université de Carnegie Mellon et a rendu visite à l'équipe de Dale Miller à l'université de Pennsylvanie.
G. Kahn a été élu Président du Conseil d'administration de l'IIST, institut de recherche en Génie Logiciel de l'Université des Nations Unies (UNU) localisé à Macao.
Gilles Kahn a séjourné à l'Institut Newton à Cambridge du 1er Juillet au 22 Septembre comme organisateur du programme Semantics of Computation. Il a prononcé l'exposé d'ouverture de cette session de 6 mois intitulé ``Semantic ideas for building and maintaining programs''.
Aarne Ranta, du département de Philosophie de l'Université d'Helsinki, a rendu visite au projet CROAP du 27 au 31 Mars.
Laurent Théry a été invité dans l'équipe du professeur Gordon à Cambridge pour trois semaines. Il a également été invité à Glasgow pour un colloque en Juillet 95 et à Saarbrücken pour un séminaire.
La définition de SISAL se poursuit en collaboration avec Andrew Wendelborn (University of Adelaide, Australie) et Jean-Luc Gaudiot (University of Southern California) autour des transformations utilisant les graphes de flots de données (Visite de Isabelle Attali à Adelaide en Février 95, à l'Université de Santa Cruz en Décembre 94 et 95, et visite de Andrew Wendelborn à Sophia en Juin 95).
Healfdene Goguen a visité l'équipe de Zaohui Luo à l'université de Durham pour six semaines réparties entre Avril et Juillet 95.