--- a/pc Sat Nov 29 14:55:50 2014 +0000
+++ b/pc Sat Nov 29 17:38:03 2014 +0000
@@ -26,7 +26,7 @@
http://www.cl.cam.ac.uk/~jrh13/
Hugo Herbelin (INRIA)
http://pauillac.inria.fr/~herbelin/index-eng.html
-Matt Kaufman (University of Texas at Austin)
+Matt Kaufmann (University of Texas at Austin)
http://www.cs.utexas.edu/~kaufmann/
Gerwin Klein (NICTA)
http://www.cse.unsw.edu.au/~kleing/
@@ -48,7 +48,7 @@
Christian Urban (King's College London)
Dimitrios Vytiniotis (Microsoft Research Cambridge)
http://research.microsoft.com/en-us/people/dimitris/
-Xingyuan Zhang (PLA University of Science and Technology Nanjing)
+Xingyuan Zhang (PLA University of Science and Technology)
(25)