Andrea Asperti    (Uni Bologna)
   http://www.cs.unibo.it/~asperti/
Jesper Bengtson   (IT University of Copenhagen)
   http://www.itu.dk/people/jebe/
Stefan Berghofer (Secunet Security Networks AG)
   http://wwwbroy.in.tum.de/~berghofe/
Yves Bertot       (INRIA)
   http://www-sop.inria.fr/members/Yves.Bertot/
Lars Birkedal     (Aarhus University)
   http://cs.au.dk/~birke/
Sandrine Blazy    (IRISA)
   https://www.irisa.fr/celtique/blazy/index.html#contact
Thierry Coquand   (University of Gothenburg)
   http://www.cse.chalmers.se/~coquand/
Xinyu Feng        (University of Science and Technology of China)
   http://staff.ustc.edu.cn/~xyfeng/
Ruben Gamboa      (University of Wyoming)
   http://www.cs.uwyo.edu/~ruben/
Herman Geuvers    (Nijmegen)
   http://www.cs.ru.nl/~herman/
Mike Gordon       (Cambridge University)
   https://www.cl.cam.ac.uk/~mjcg/
Elsa Gunter       (University of Illinois, Urbana - Champaign)
   http://web.engr.illinois.edu/~egunter/
John Harrison     (Intel Corporation)
   http://www.cl.cam.ac.uk/~jrh13/
Hugo Herbelin     (INRIA)
   http://pauillac.inria.fr/~herbelin/index-eng.html
Matt Kaufmann     (University of Texas at Austin)
   http://www.cs.utexas.edu/~kaufmann/
Gerwin Klein      (NICTA)
   http://www.cse.unsw.edu.au/~kleing/
Cesar Munoz       (NASA Langley Research Center)
   http://shemesh.larc.nasa.gov/people/cam/
Tobias Nipkow     (TU Munich)
   http://www21.in.tum.de/~nipkow/
Michael Norrish   (NICTA)
   http://nicta.com.au/people/norrishm
Scott Owens       (University of Kent)
   http://www.cs.kent.ac.uk/people/staff/sao/
Randy Pollack     (Harvard University)
   http://homepages.inf.ed.ac.uk/rpollack/
Carsten Schümann (IT University of Copenhagen)
   http://www.itu.dk/people/carsten/ 
Konrad Slind      (Rockwell Collins)
Alwen Tiu         (Nanyang Technological University)
   http://www.ntu.edu.sg/home/atiu/
Christian Urban   (King's College London)
Dimitrios Vytiniotis (Microsoft Research Cambridge)
   http://research.microsoft.com/en-us/people/dimitris/
Xingyuan Zhang    (PLA University of Science and Technology)
(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