1 Gerwin Klein

     2 Ruben Gamboa

     3 Tobias Nipkow

     4 Zhong Shao

     5 Micheal Norrish

     6 John Harrison

     7 Matt Kaufman

     8 Thierie Coquand

     9 Steffen Berghofer

    10 Georges Gonthier

    11 Cezar Munos

    12 Randy Pollack

    13 Mike Gordon (Magnus Myreen)

    14 Xavier Leroy

    15 Sandry Blazy

    16 Jeremy Avigard

    17 Herman Geuvers

    18 Xingyu Feng

    19 Alwen Tui

    20 Jouanaud

    21 Humin Lin

    22 Nick Benton

    23 Andrew Appel

    24 Yves Bertot

    25 John Matthews

    26 Konrad Slind

    27 

    28 

    29 

    30 ---------

    31 Christine Paulin-Mohring