diff -r a4b7afa82af6 -r 5868d8f8649f pc
--- a/pc	Fri Jul 25 14:38:12 2014 +0100
+++ b/pc	Sun Aug 10 16:06:46 2014 +0100
@@ -2,7 +2,7 @@
 Ruben Gamboa      (University of Wyoming)
 Tobias Nipkow     (TU Munich)
 Michael Norrish   (NICTA)
-John Harrison     (asked)
+John Harrison     (INTEL)
 Matt Kaufman
 Thierry Coquand   (University of Gothenburg)
 Steffen Berghofer (Secunet Security Networks AG)
@@ -17,13 +17,14 @@
 Xinyu Feng        (Suzhou Institute for Advanced Study)
 Alwen Tui
 Humin Lin         (asked)
-Nick Benton       (asked)
 Yves Bertot       (INRIA)
 John Matthews (no asked yet Galois)
 Konrad Slind      (Rockwell Collins)
 Hugo Herbelin     (INRIA)
 Bob Constable
-(27)
+Jesper Bengtson   (ITU)
+Lars Birkedal     (asked)
+(14)
 
 Previous ITP was 33
 
@@ -43,6 +44,7 @@
 
 =======================
 Gilles Barthe     (out)
+Nick Benton       (out)
 
 =========
 Potential Invited speakers: