diff -r 585a5d1dbb65 -r 9eb085881cd5 index.html
--- a/index.html	Sat Nov 29 21:48:00 2014 +0000
+++ b/index.html	Sat Nov 29 21:49:49 2014 +0000
@@ -123,7 +123,7 @@
 
 <p>
 The 6th conference on Interactive Theorem Proving will be held in
-Nanjing, China. The organising committee is chaired by Xingyuan Zhang and Christian Urban.
+Nanjing, China. 
 <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