Andrea Asperti      University of Bologna - Microsoft Inria Joint Centre
Jeremy Avigad       Carnegie Mellon University - Microsoft Inria Joint Centre
Yves Bertot         INRIA Sophia Antipolis - Microsoft Inria Joint Centre
Cyril Cohen         LIX cole Polytechnique - Microsoft Inria Joint Centre  	
Franois Garillot   Microsoft Inria Joint Centre
Georges Gonthier    Microsoft Research Cambridge - Microsoft Inria Joint Centre
Stphane Le Roux    Microsoft Inria Joint Centre
Assia Mahboubi      LIX cole Polytechnique - Inria Saclay -- le-de-France - Microsoft Inria Joint Centre
Sidi Ould Biha      INRIA Sophia Antipolis - Microsoft Inria Joint Centre
Ioana Pasca         INRIA Sophia Antipolis - Microsoft Inria Joint Centre
Laurence Rideau     INRIA Sophia Antipolis - Microsoft Inria Joint Centre
Enrico Tassi        University of Bologna - Microsoft Inria Joint Centre
Laurent Thry       INRIA Sophia Antipolis - Microsoft Inria Joint Centre
