diff -r 93e72c39cbbe -r 889666f40918 index.html --- a/index.html Wed Feb 12 17:07:55 2014 +0000 +++ b/index.html Wed Feb 12 19:06:33 2014 +0000 @@ -66,7 +66,7 @@

-Mochou +Mochou
Mochou

@@ -160,10 +160,10 @@

Advantages of Hosting ITP in Nanjing

-There are several groups active in China active in the ITP area. For the last +There are several groups active in China active in the ITP area. For example for the last five years there has been a popular -summershool about Coq taking place in China -with 50 or so student participants. ITP (and TPHOLs) have +summershool about Coq +with 50 or so student participants each. ITP (and TPHOLs) have never been hosted in China, and this might be an opportunity for the ITP community to foster relations with researchers from China and Asia, and for local researchers to become part of the @@ -174,7 +174,7 @@ affordable food. It has several museums and tourist attractions. -In the near vicinity are touristic hotspots like Hangzhou ... (??). +In the nearer vicinity are touristic hotspots like Hangzhou, Wuxie and Suzhou (??). Travelling visas should not be difficult to obtain for nearly all researchers from the @@ -194,7 +194,7 @@

Excursion

We have two possible destinations for excursions in mind: one is to -Yangzhou, and the other is more leisurly inside the city... +Yangzhou, and the other is more leisurly tour of Nanjing...