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. |
137 Series. 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 |
|
139 <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 |
|
141 <A HREF="history.html">never</A> been hosted in |
|
142 China, and this might be an opportunity for the ITP community to foster relations |
|
143 with researchers from China and Asia, and for local researchers to become part of the |
|
144 ITP community. |
138 </p> |
145 </p> |
139 |
146 |
140 <p> |
147 <p> |
141 <IMG SRC="pics/new.gif" ALT="" style="" align="left"><A HREF="accepted.html">Accepted papers</A><BR><BR> |
148 <IMG SRC="pics/new.gif" ALT="" style="" align="left"><A HREF="accepted.html">Accepted papers</A><BR><BR> |
142 <IMG SRC="pics/new.gif" ALT="" style="" align="left">There will be an Isabelle tutorial before the |
149 <IMG SRC="pics/new.gif" ALT="" style="" align="left">There will be an Isabelle tutorial before the |
233 |
240 |
234 |
241 |
235 |
242 |
236 <H4>Local Information</H4> |
243 <H4>Local Information</H4> |
237 |
244 |
238 There are several groups in the ITP area that are active in China. For example for the last |
245 |
239 five years there have been popular |
|
240 <A HREF="http://kyhcs.ustcsz.edu.cn/fmschool-2011">summerschools</A> in China about Coq |
|
241 with 50 or so student participants each. ITPs (and TPHOLs) have |
|
242 <A HREF="history.html">never</A> been hosted in |
|
243 China, and this might be an opportunity for the ITP community to foster relations |
|
244 with researchers from China and Asia, and for local researchers to become part of the |
|
245 ITP community. |
|
246 |
246 |
247 <p> |
247 <p> |
248 Being in China, Nanjing offers the usual conveniences of good and |
248 Being in China, Nanjing offers the usual conveniences of good and |
249 affordable food. It has several excellent |
249 affordable food. It has several excellent |
250 <A HREF="http://en.wikipedia.org/wiki/Nanjing#Museums">museums</A> |
250 <A HREF="http://en.wikipedia.org/wiki/Nanjing#Museums">museums</A> |