--- a/pc	Sun Aug 10 16:06:46 2014 +0100
+++ b/pc	Tue Aug 12 14:45:03 2014 +0100
@@ -23,8 +23,8 @@
 Hugo Herbelin     (INRIA)
 Bob Constable
 Jesper Bengtson   (ITU)
-Lars Birkedal     (asked)
-(14)
+Lars Birkedal     (Aarhus)
+(15)
 
 Previous ITP was 33
 
@@ -35,8 +35,6 @@
 Christine Paulin-Mohring
 Larry Paulson
 Dan Licata (check whether he had an ITP paper)
-Lars Birkedal
-Jesper Bengtson
 ?? Zhaohui Luo (Royal Holloway)
 
 not really ITP person: