# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1392131486 0
# Node ID 5c0d0f923ac22f11e43ac7765bd39c65185157ee
# Parent  20a3564ecec3bffe158eed15011ed664e539b896
updated

diff -r 20a3564ecec3 -r 5c0d0f923ac2 index.html
--- a/index.html	Tue Feb 11 15:03:17 2014 +0000
+++ b/index.html	Tue Feb 11 15:11:26 2014 +0000
@@ -129,6 +129,16 @@
 take slightly more than 1h from Shanghai and about 4h from Beijing.
 Travel within Nanjing can be done cheaply via taxi and public transportation.
 
+<H4>The Venue</H4>
+
+The plan is to host the conference at the <Hanyuan
+
+
+<H4>Advantages of Hosting ITP in Nanjing</H4>
+
+Many groups working on ITP, summerschool on Coq, never has been hosted
+in China, several centres (Shanghai, Beijing, ...)
+
 <H4>Not updated</H4>