Andreas Abel
(LMU Munich, Germany)
Nick Benton
(Microsoft Research Cambridge, UK)
Stefan Berghofer
(secunet Security Networks AG, Germany)
Lennart Beringer
(Co-Chair, Princeton Univ., USA)
Yves Bertot
(INRIA Sophia-Antipolis, France)
Adam Chlipala
(MIT, USA)
Ewen Denney
(NASA, USA)
Peter Dybjer
(Chalmers Univ. of Technology, Sweden)
Amy Felty
(Co-Chair, Univ. of Ottawa, Canada)
Herman Geuvers
(Radboud Univ. Nijmegen, The Netherlands)
Georges Gonthier
(Microsoft Research Cambridge, UK)
Jim Grundy
(Intel Corp., USA)
Elsa Gunter
(Univ. of Illinois at Urbana-Champaign, USA)
Hugo Herbelin
(INRIA Roquencourt-Paris, France)
Joe Hurd
(Galois, Inc., USA)
Reiner Hähnle
(Chalmers Univ. of Technology, Sweden)
Matt Kaufmann
(Univ. of Texas at Austin, USA)
Gerwin Klein
(NICTA, Australia)
Assia Mahboubi
(INRIA Saclay, France)
Conor McBride
(Univ. of Strathclyde, UK)
Alberto Momigliano
(Univ. of Milan, Italy)
Magnus O. Myreen
(Univ. of Cambridge, UK)
Tobias Nipkow
(TU Munich, Germany)
Sam Owre
(SRI, USA)
Christine Paulin-Mohring
(Univ. Paris-Sud, France)
David Pichardie
(INRIA Rennes, France)
Brigitte Pientka
(McGill Univ., Canada)
Randy Pollack
(Harvard Univ., USA)
Julien Schmaltz
(Open Univ. of the Netherlands, The Netherlands)
Bas Spitters
(Radboud Univ. Nijmegen, The Netherlands)
Sofiene Tahar
(Concordia Univ., Canada)
Makarius Wenzel
(Univ. Paris-Sud, France)