# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1416041059 0
# Node ID b20c856b2389cde20f247ad8b9455409d2339b3a
# Parent  571250c1b2102411d570a3afaeaba6908c09d003
updated

diff -r 571250c1b210 -r b20c856b2389 pc
--- 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)