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)