Gerwin Klein
Ruben Gamboa
Tobias Nipkow
Michael Norrish
John Harrison
Matt Kaufman
Therry Coquand
Steffen Berghofer
Georges Gonthier
Cezar Munos
Randy Pollack
Mike Gordon (or Magnus Myreen)
Xavier Leroy
Sandry Blazy
Jeremy Avigard
Herman Geuvers
Xingyu Feng
Alwen Tui
Humin Lin
Nick Benton
Yves Bertot
John Matthews (Galois)
Konrad Slind (Rockwell Collins)
Gilles Dowek
Hugo Herbelin
Bob Constable
Gilles Barthe
(27)

Previous ITP was 33

Reserve
=======
René Thiemann 
Christine Paulin-Mohring
Larry Paulson
Dan Licata (check whether he had an ITP paper)
Lars Birkedal
Jesper Bengtson
?? Zhaohui Luo (Royal Holloway)


=========
Potential Invited speakers:

Zhong Shao
Andrew Appel
Jeremy Avigad