Gerwin Klein
Ruben Gamboa
Tobias Nipkow
Zhong Shao
Micheal Norrish
John Harrison
Matt Kaufman
Thierie Coquand
Steffen Berghofer
Georges Gonthier
Cezar Munos
Randy Pollack
Mike Gordon (Magnus Myreen)
Xavier Leroy
Sandry Blazy
Jeremy Avigard
Herman Geuvers
Xingyu Feng
Alwen Tui
Jouanaud
Humin Lin
Nick Benton
Andrew Appel
Yves Bertot
John Matthews
Konrad Slind



---------
Christine Paulin-Mohring