Des membres du projet ont participés aux colloques suivants : Journée du Pôle Interfaces Multimodales, GDR Communication Homme Machine à Lille en Décembre 94, HICSS à Maui en Janvier 95 [3], Australian-European IDEA Workshop à Sydney en Février 95, Journée du GDR Programmation à Lyon en Mars 95, TLCA à Edimbourg en Avril 95 [8][9][11], TAPSOFT'95 à Aarhus en Mai 95 [4], Colloque BRA Types en Juin 95 à Turin [7][12], AMAST à Montreal en Juillet 95 [12], Séminaire sur l'automatisation des preuves par récurrence à Dagstuhl en Juillet 95, JCIS à Wilmington, USA en Octobre 95 [2], Journées GDR Programmation à Grenoble en Novembre 95 [23], SuperComputing à San Diego en Décembre 95.