# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1407851103 -3600
# Node ID 56c28e4152f0a1d14c94e4682493c2237c5c943b
# Parent  5868d8f8649f18e483f4a1930582c5f093f03760
added

diff -r 5868d8f8649f -r 56c28e4152f0 index.html
--- 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>
diff -r 5868d8f8649f -r 56c28e4152f0 pc
--- 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: