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