equal
deleted
inserted
replaced
132 in the heart of China — close to Shanghai and roughly |
132 in the heart of China — close to Shanghai and roughly |
133 equidistant between Beijing and Hong Kong. It is a former capital |
133 equidistant between Beijing and Hong Kong. It is a former capital |
134 during the Ming Dynasty with a rich <A |
134 during the Ming Dynasty with a rich <A |
135 HREF="http://www.cityofnanjing.com">cultural heritage</A>. |
135 HREF="http://www.cityofnanjing.com">cultural heritage</A>. |
136 The proceedings will be published as usual in the LNCS |
136 The proceedings will be published as usual in the LNCS |
137 Series. There are several groups in the ITP area that are active in China. For example for the last |
137 Series. |
|
138 |
|
139 <p> |
|
140 There are several groups in the ITP area that are active in China. For example for the last |
138 five years there have been popular |
141 five years there have been popular |
139 <A HREF="http://kyhcs.ustcsz.edu.cn/fmschool-2011">summerschools</A> in China about Coq |
142 <A HREF="http://kyhcs.ustcsz.edu.cn/fmschool-2011">summerschools</A> in China about Coq |
140 with 50 or so student participants each. ITPs (and TPHOLs) have |
143 with 50 or so student participants each. ITPs (and TPHOLs) have |
141 <A HREF="history.html">never</A> been hosted in |
144 <A HREF="history.html">never</A> been hosted in |
142 China, and this might be an opportunity for the ITP community to foster relations |
145 China, and this might be an opportunity for the ITP community to foster relations |