--- a/index.html	Sun Aug 10 16:06:46 2014 +0100
+++ b/index.html	Tue Aug 12 14:45:03 2014 +0100
@@ -123,7 +123,8 @@
 during the Ming Dynasty with a rich <A
 HREF="http://www.cityofnanjing.com">cultural heritage</A>.  
 We expect to have more information about travelling and a detailed programme
-nearer the time.
+nearer the time. The proceedings will be published as usual in the LNCS
+Series.
 </p>
 
 <H4>Timing and Tentative Programme</H4>

--- 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: