N. Hermann a passé une année à l'Université de Californie à Santa Cruz d'août 1994 à juillet 1995 en tant que chercheur invité. Ce séjour a été financé, d'une part, par son traitement d'agent CNRS et, d'autre part, par un complément constitué par une bourse de l'OTAN. Il a été invité à donner une conférence sur le thème de la déduction automatique au département d'informatique de l'UCSC dans le cadre du séminaire hebdomadaire.
P. Lescanne est membre du comité éditorial du journal Applicable Algebra in Engineering, Communication and Computation édité par Springer-Verlag, et membre du comité de programme de la conférence Rewriting Techniques and Applications 96. Il est aussi membre de projet européen BASIC RESEARCH appelé COMPASS qui étudie la spécification de systèmes informatiques.
P. Zimmermann a passé un an à l'Université de Paderborn en Allemagne. Ce séjour a permis de créer des liens entre l'INRIA et l'Université de Paderborn (un accord formel est en cours de signature).