diff -r d4ec47be8f14 -r aba8911d873e index.html
--- a/index.html	Tue Mar 25 16:16:55 2014 +0000
+++ b/index.html	Wed Mar 26 13:12:53 2014 +0000
@@ -112,14 +112,14 @@
 </TR>
 </TABLE>
 <BR>
+The 6th conference on Interactive Theorem Proving will be held in
+Nanjing. The organising committee is chaired by Xingyuan Zhang and Christian Urban.
 <A HREF="http://en.wikipedia.org/wiki/Nanjing">Nanjing</A> is situated
 in the heart of China &#8212; close to Shanghai and roughly
 equidistant between Beijing and Hong Kong. It is a former capital
 during the Ming Dynasty with a rich <A
-HREF="http://www.cityofnanjing.com">cultural heritage</A>.  We propose
-to hold the 5th ITP Conference in Nanjing. The organising committee
-would be chaired by Xingyuan Zhang and Christian Urban.
-
+HREF="http://www.cityofnanjing.com">cultural heritage</A>.  
+We expect to have more information about travelling and programme nearer the time.
 
 <H4>Travel to Nanjing</H4>
 
@@ -235,9 +235,8 @@
 the <A HREF="http://en.wikipedia.org/wiki/City_Wall_of_Nanjing">city wall</A> and the
 <A HREF="http://en.wikipedia.org/wiki/Ming_Xiaoling_Mausoleum">Ming tombs</A> (see pictures on
 the left). There is a wide selection of excellent restaurants around
-Nanjing's Confucius Temple for a conference dinner. If our bid is
-chosen, we would canvas for opinions about what participants would be
-most interested in.
+Nanjing's Confucius Temple for a conference dinner. We will canvas for opinions about
+what participants would be most interested in.
 
 <center>
 <table style="width: 75%">