diff -r 084fe19c59ed -r 1f237ce9630a pc
--- a/pc	Wed Mar 26 14:01:28 2014 +0000
+++ b/pc	Wed Apr 09 15:18:58 2014 +0100
@@ -2,15 +2,15 @@
 Ruben Gamboa
 Tobias Nipkow
 Zhong Shao
-Micheal Norrish
+Michael Norrish
 John Harrison
 Matt Kaufman
-Thierie Coquand
+Therry Coquand
 Steffen Berghofer
 Georges Gonthier
 Cezar Munos
 Randy Pollack
-Mike Gordon (Magnus Myreen)
+Mike Gordon (or Magnus Myreen)
 Xavier Leroy
 Sandry Blazy
 Jeremy Avigard
@@ -22,12 +22,16 @@
 Nick Benton
 Andrew Appel
 Yves Bertot
-John Matthews
-Konrad Slind
+John Matthews (Galois)
+Konrad Slind (Rockwell Collins)
 Gilles Dowek
-
-
+Hugo Herbelin
+Bob Constable
+(29)
 
 ---------
 Christine Paulin-Mohring
 Larry Paulson
+Dan Licata (check whether he had an ITP paper)
+Lars Birkedal
+Jesper Bengtson
\ No newline at end of file