Joëlle Despeyroux était site leader du projet européen BRA `Types pour les preuves et les programmmes', dont Gilles Kahn\ était le directeur général. Ce projet BRA, qui incluait 8 sites répartis en Europe dont un site industriel, s'est achevé en octobre 95.