Gerwin Klein      (NICTA)
Ruben Gamboa      (University of Wyoming)
Tobias Nipkow     (TU Munich)
Michael Norrish   (NICTA)
John Harrison     (INTEL)
Thierry Coquand   (University of Gothenburg)
Steffen Berghofer (Secunet Security Networks AG)
Randy Pollack     (Harvard University)
Mike Gordon       (Cambridge University)
Sandry Blazy      (IRISA?)      
Herman Geuvers    (Nijmegen)
Xinyu Feng        (Suzhou Institute for Advanced Study)
Yves Bertot       (INRIA)
Konrad Slind      (Rockwell Collins)
Hugo Herbelin     (INRIA)
Lars Birkedal     (Aarhus)
Jesper Bengtson   (ITU)
Carsten Schuermann (ITU)
Dimitrios Vytiniotis (Microsoft)
Elsa Gunter       (Urbana Champain)
Cesar Munos       (nasa)
Andrea Asperti     (Uni Bologna)
Scott Owens       (Kent)
Matt Kaufman      (texas)
Alwen Tui          (Nanyang)
(25)



Bob Constable
Georges Gonthier


Previous ITP was 33

Reserve
=======
Pierre-Yves Strub (Coq)
René Thiemann 
Christine Paulin-Mohring
Larry Paulson

not really ITP person: 
Gilles Dowek

=======================
Gilles Barthe     (out)
Nick Benton       (out)
Humin Lin         (out)
Xavier Leroy      (out)
John Matthews     (out Apple)


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

Zhong Shao
Andrew Appel
Jeremy Avigad