updated
authorChristian Urban <christian dot urban at kcl dot ac dot uk>
Tue, 11 Feb 2014 15:11:26 +0000
changeset 6 5c0d0f923ac2
parent 5 20a3564ecec3
child 7 8eeb61050189
updated
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>