blob: 848f504ba8af5622e995fb15d9ae3dd316da0fdd (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
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
|
