equal
deleted
inserted
replaced
127 and via transfer at airports in Hong Kong, Beijing, Shanghai and many others. There |
127 and via transfer at airports in Hong Kong, Beijing, Shanghai and many others. There |
128 are also very convenient train connections from Shanghai and Beijing, which |
128 are also very convenient train connections from Shanghai and Beijing, which |
129 take slightly more than 1h from Shanghai and about 4h from Beijing. |
129 take slightly more than 1h from Shanghai and about 4h from Beijing. |
130 Travel within Nanjing can be done cheaply via taxi and public transportation. |
130 Travel within Nanjing can be done cheaply via taxi and public transportation. |
131 |
131 |
|
132 <H4>The Venue</H4> |
|
133 |
|
134 The plan is to host the conference at the <Hanyuan |
|
135 |
|
136 |
|
137 <H4>Advantages of Hosting ITP in Nanjing</H4> |
|
138 |
|
139 Many groups working on ITP, summerschool on Coq, never has been hosted |
|
140 in China, several centres (Shanghai, Beijing, ...) |
|
141 |
132 <H4>Not updated</H4> |
142 <H4>Not updated</H4> |
133 |
143 |
134 |
144 |
135 <p> |
145 <p> |
136 We expect the conference will consist of four days of fully refereed |
146 We expect the conference will consist of four days of fully refereed |