Gerwin Klein
Ruben Gamboa
Tobias Nipkow
Zhong Shao
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
Jouanaud
Humin Lin
Nick Benton
Andrew Appel
Yves Bertot
John Matthews (Galois)
Konrad Slind (Rockwell Collins)
Gilles Dowek
Hugo Herbelin
Bob Constable
(29)

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



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

Zhong Shao
Andrew Appel
Jeremy Avigad