Gerwin Klein      (NICTA)
Ruben Gamboa      (University of Wyoming)
Tobias Nipkow     (TU Munich)
Michael Norrish   (NICTA)
John Harrison     (INTEL)
Matt Kaufman
Thierry Coquand   (University of Gothenburg)
Steffen Berghofer (Secunet Security Networks AG)
Georges Gonthier
Cezar Munos
Randy Pollack     (Harvard University)
Mike Gordon 
(or Magnus Myreen)
Xavier Leroy
Sandry Blazy      (IRISA?)      
Herman Geuvers    (asked)
Xinyu Feng        (Suzhou Institute for Advanced Study)
Alwen Tui
Humin Lin         (asked)
Yves Bertot       (INRIA)
John Matthews (no asked yet Galois)
Konrad Slind      (Rockwell Collins)
Hugo Herbelin     (INRIA)
Bob Constable
Jesper Bengtson   (ITU)
Lars Birkedal     (asked)
(14)

Previous ITP was 33

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

not really ITP person: 
Gilles Dowek

=======================
Gilles Barthe     (out)
Nick Benton       (out)

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

Zhong Shao
Andrew Appel
Jeremy Avigad