equal
deleted
inserted
replaced
132 <A HREF="http://en.wikipedia.org/wiki/Nanjing">Nanjing</A> is situated |
132 <A HREF="http://en.wikipedia.org/wiki/Nanjing">Nanjing</A> is situated |
133 in the heart of China — close to Shanghai and roughly |
133 in the heart of China — close to Shanghai and roughly |
134 equidistant between Beijing and Hong Kong. It is a former capital |
134 equidistant between Beijing and Hong Kong. It is a former capital |
135 during the Ming Dynasty with a rich <A |
135 during the Ming Dynasty with a rich <A |
136 HREF="http://www.cityofnanjing.com">cultural heritage</A>. |
136 HREF="http://www.cityofnanjing.com">cultural heritage</A>. |
137 The proceedings will be published as usual in the LNCS |
137 The proceedings will be published as usual in the |
|
138 <A HREF="http://link.springer.com/book/10.1007/978-3-319-22102-1">LNCS</A> |
138 Series. There will be an |
139 Series. There will be an |
139 <A HREF="http://www21.in.tum.de/~nipkow/isa-tut-itp15.html">Isabelle tutorial</A> before the |
140 <A HREF="http://www21.in.tum.de/~nipkow/isa-tut-itp15.html">Isabelle tutorial</A> before the |
140 conference (21 - 23 August), and |
141 conference (21 - 23 August), and |
141 a <A HREF="http://www.strub.nu/coq-itp-15">Coq tutorial</A> after the conference |
142 a <A HREF="http://www.strub.nu/coq-itp-15">Coq tutorial</A> after the conference |
142 (27 - 29 August). |
143 (27 - 29 August). |