--- a/pc	Sat Nov 15 08:18:11 2014 +0000
+++ b/pc	Sat Nov 15 08:44:19 2014 +0000
@@ -7,7 +7,7 @@
 Steffen Berghofer (Secunet Security Networks AG)
 Randy Pollack     (Harvard University)
 Mike Gordon       (Cambridge University)
-Sandry Blazy      (IRISA?)      
+Sandrine Blazy    (INRIA)      
 Herman Geuvers    (Nijmegen)
 Xinyu Feng        (Suzhou Institute for Advanced Study)
 Yves Bertot       (INRIA)
@@ -22,7 +22,7 @@
 Andrea Asperti     (Uni Bologna)
 Scott Owens       (Kent)
 Matt Kaufman      (texas)
-Alwen Tui          (Nanyang)
+Alwen Tiu          (Nanyang)
 (25)