# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1414860441 0
# Node ID 5e588da951cea691a66ec954468db85fc3499f82
# Parent  50e739f0a836ffc37069c4ddc195f79122073357
updated

diff -r 50e739f0a836 -r 5e588da951ce pc
--- a/pc	Wed Aug 20 08:48:07 2014 +0100
+++ b/pc	Sat Nov 01 16:47:21 2014 +0000
@@ -9,14 +9,12 @@
 Georges Gonthier
 Cezar Munos
 Randy Pollack     (Harvard University)
-Mike Gordon 
-(or Magnus Myreen)
+Mike Gordon       (Cambridge University)
 Xavier Leroy
 Sandry Blazy      (IRISA?)      
 Herman Geuvers    (Nijmegen)
 Xinyu Feng        (Suzhou Institute for Advanced Study)
 Alwen Tui
-Humin Lin         (asked)
 Yves Bertot       (INRIA)
 John Matthews (no asked yet Galois)
 Konrad Slind      (Rockwell Collins)
@@ -24,7 +22,7 @@
 Bob Constable
 Jesper Bengtson   (ITU)
 Lars Birkedal     (Aarhus)
-(16)
+(17)
 
 Previous ITP was 33
 
@@ -43,6 +41,7 @@
 =======================
 Gilles Barthe     (out)
 Nick Benton       (out)
+Humin Lin         (out)
 
 =========
 Potential Invited speakers: