diff -r 9052a9b07b59 -r 8a34dbbd8788 index.html --- a/index.html Tue Feb 11 16:09:14 2014 +0000 +++ b/index.html Wed Feb 12 00:14:34 2014 +0000 @@ -46,19 +46,6 @@ VALIGN="TOP" ROWSPAN="2"> -

- -Computer science building -
-Computer science building
-

- -

- -Main hall of the computer science building -
-Main hall of the computer science building
-

@@ -112,23 +99,24 @@ - +

Bid to host ITP 2015 in Nanjing

TUMTUM

Nanjing -is a situated in the heart of China. It is a former capital during the Ming +is a situated in the heart of China — close to Shanghai and roughly equidistant +between Beijing and Hong Kong. It is a former capital during the Ming Dynasty with a rich -cultural heritage. It is close to Shanghai and roughly equidistant -between Beijing and Hong Kong. We like to propose to hold the 5th International Conference -on Interactive Theorem Proving in Nanjing. The organising committee would be chaired by +cultural heritage. +We like to hold the 5th ITP Conference in Nanjing. The organising committee would be chaired by Xingyuan Zhang and Christian Urban.

Travel to Nanjing

-There are international airline connections directly to -Nanjing Lukou Airport +Nanjing is a major city in China. +There are international airline connections to +Nanjing Lukou Airport directly and via transfer at airports in Hong Kong, Beijing, Shanghai and many others. There are also very convenient train connections from Shanghai and Beijing, which take slightly more than 1h from Shanghai and about 4h from Beijing.