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      Inria Saclay - 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
Alexey Solovyev     University of Pittsburgh
Enrico Tassi        Inria Saclay - Microsoft Inria Joint Centre
Laurent Thry       Inria Sophia Antipolis - Microsoft Inria Joint Centre
Russell O'Connor    Mc Master University - Microsoft Inria Joint Centre
