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  	
François Garillot   Microsoft Inria Joint Centre
Georges Gonthier    Microsoft Research Cambridge - Microsoft Inria Joint Centre
Stéphane 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 Théry       Inria Sophia Antipolis - Microsoft Inria Joint Centre
Russell O'Connor    Mc Master University - Microsoft Inria Joint Centre