--- a/pc	Wed Apr 09 15:18:58 2014 +0100
+++ b/pc	Mon May 26 12:08:57 2014 +0100
@@ -34,4 +34,14 @@
 Larry Paulson
 Dan Licata (check whether he had an ITP paper)
 Lars Birkedal
-Jesper Bengtson
\ No newline at end of file
+Jesper Bengtson
+Zhaohui Luo (Royal Holloway)
+
+
+
+=========
+Invited speakers:
+
+Zhong Shao
+Andrew Appel
+Jeremy Avigad