diff -r 5e588da951ce -r 89670732372b pc
--- a/pc	Sat Nov 01 16:47:21 2014 +0000
+++ b/pc	Thu Nov 06 18:02:56 2014 +0000
@@ -3,26 +3,31 @@
 Tobias Nipkow     (TU Munich)
 Michael Norrish   (NICTA)
 John Harrison     (INTEL)
-Matt Kaufman
 Thierry Coquand   (University of Gothenburg)
 Steffen Berghofer (Secunet Security Networks AG)
-Georges Gonthier
-Cezar Munos
 Randy Pollack     (Harvard University)
 Mike Gordon       (Cambridge University)
-Xavier Leroy
 Sandry Blazy      (IRISA?)      
 Herman Geuvers    (Nijmegen)
 Xinyu Feng        (Suzhou Institute for Advanced Study)
-Alwen Tui
 Yves Bertot       (INRIA)
-John Matthews (no asked yet Galois)
 Konrad Slind      (Rockwell Collins)
 Hugo Herbelin     (INRIA)
-Bob Constable
+Lars Birkedal     (Aarhus)
 Jesper Bengtson   (ITU)
-Lars Birkedal     (Aarhus)
-(17)
+Carsten Schuermann (ITU)
+Dimitrios Vytiniotis (Microsoft)
+Elsa Gunter       (Urbana Champain)
+(20)
+
+Cesar Munos       (nasa)
+Matt Kaufman      (texas)
+Scott Owens       (Kent)
+Andrea Asperti     (Uni Bologna)
+Alwen Tui          (Nanyang)
+Bob Constable
+Georges Gonthier
+
 
 Previous ITP was 33
 
@@ -32,8 +37,6 @@
 René Thiemann 
 Christine Paulin-Mohring
 Larry Paulson
-Dan Licata (check whether he had an ITP paper)
-?? Zhaohui Luo (Royal Holloway)
 
 not really ITP person: 
 Gilles Dowek
@@ -42,6 +45,9 @@
 Gilles Barthe     (out)
 Nick Benton       (out)
 Humin Lin         (out)
+Xavier Leroy      (out)
+John Matthews     (out Apple)
+
 
 =========
 Potential Invited speakers: