# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1406084550 -7200
# Node ID d4db079cb2a9b6e755fb9aca31d76c94033b4e19
# Parent  e73146897399f7c7c68391a12e7fa806937110c3
updated

diff -r e73146897399 -r d4db079cb2a9 pc
--- a/pc	Thu Jul 17 06:14:01 2014 +0200
+++ b/pc	Wed Jul 23 05:02:30 2014 +0200
@@ -1,30 +1,29 @@
-Gerwin Klein
-Ruben Gamboa
-Tobias Nipkow
-Michael Norrish
-John Harrison
+Gerwin Klein      (NICTA)
+Ruben Gamboa      (University of Wyoming)
+Tobias Nipkow     (asked)
+Michael Norrish   (NICTA)
+John Harrison     (asked)
 Matt Kaufman
-Therry Coquand
-Steffen Berghofer
+Thierry Coquand   (University of Gothenburg)
+Steffen Berghofer (Secunet Security Networks AG)
 Georges Gonthier
 Cezar Munos
-Randy Pollack
-Mike Gordon (or Magnus Myreen)
+Randy Pollack     (Harvard University)
+Mike Gordon 
+(or Magnus Myreen)
 Xavier Leroy
-Sandry Blazy
-Jeremy Avigard
-Herman Geuvers
-Xingyu Feng
+Sandry Blazy      (asked)      
+Herman Geuvers    (asked)
+Xinyu Feng        (Suzhou Institute for Advanced Study)
 Alwen Tui
-Humin Lin
-Nick Benton
-Yves Bertot
+Humin Lin         (asked)
+Nick Benton       (asked)
+Yves Bertot       (asked)
 John Matthews (Galois)
-Konrad Slind (Rockwell Collins)
-Gilles Dowek
-Hugo Herbelin
+Konrad Slind      (Rockwell Collins)
+Hugo Herbelin     (asked)
 Bob Constable
-Gilles Barthe
+Gilles Barthe     (asked)
 (27)
 
 Previous ITP was 33
@@ -39,6 +38,8 @@
 Jesper Bengtson
 ?? Zhaohui Luo (Royal Holloway)
 
+not really ITP person: 
+Gilles Dowek
 
 =========
 Potential Invited speakers: