110 <TD><H1>ITP 2015 will be in Nanjing: Our bid has been accepted!</H1></TD> |
110 <TD><H1>ITP 2015 will be in Nanjing: Our bid has been accepted!</H1></TD> |
111 <TD align="right" valign="top"><img src="pics/nanjing-map.jpg" width="42%" height="40%" alt="TUM" align="top"></TD> |
111 <TD align="right" valign="top"><img src="pics/nanjing-map.jpg" width="42%" height="40%" alt="TUM" align="top"></TD> |
112 </TR> |
112 </TR> |
113 </TABLE> |
113 </TABLE> |
114 <BR> |
114 <BR> |
|
115 The 6th conference on Interactive Theorem Proving will be held in |
|
116 Nanjing. The organising committee is chaired by Xingyuan Zhang and Christian Urban. |
115 <A HREF="http://en.wikipedia.org/wiki/Nanjing">Nanjing</A> is situated |
117 <A HREF="http://en.wikipedia.org/wiki/Nanjing">Nanjing</A> is situated |
116 in the heart of China — close to Shanghai and roughly |
118 in the heart of China — close to Shanghai and roughly |
117 equidistant between Beijing and Hong Kong. It is a former capital |
119 equidistant between Beijing and Hong Kong. It is a former capital |
118 during the Ming Dynasty with a rich <A |
120 during the Ming Dynasty with a rich <A |
119 HREF="http://www.cityofnanjing.com">cultural heritage</A>. We propose |
121 HREF="http://www.cityofnanjing.com">cultural heritage</A>. |
120 to hold the 5th ITP Conference in Nanjing. The organising committee |
122 We expect to have more information about travelling and programme nearer the time. |
121 would be chaired by Xingyuan Zhang and Christian Urban. |
|
122 |
|
123 |
123 |
124 <H4>Travel to Nanjing</H4> |
124 <H4>Travel to Nanjing</H4> |
125 |
125 |
126 Nanjing is a major city in China. There are international airline |
126 Nanjing is a major city in China. There are international airline |
127 connections directly to <A |
127 connections directly to <A |
233 <A HREF="http://en.wikipedia.org/wiki/Purple_Mountain">Purple Mountains</A> passing by |
233 <A HREF="http://en.wikipedia.org/wiki/Purple_Mountain">Purple Mountains</A> passing by |
234 the <A HREF="http://en.wikipedia.org/wiki/Linggu_Temple">Linggusi</A> pagoda, |
234 the <A HREF="http://en.wikipedia.org/wiki/Linggu_Temple">Linggusi</A> pagoda, |
235 the <A HREF="http://en.wikipedia.org/wiki/City_Wall_of_Nanjing">city wall</A> and the |
235 the <A HREF="http://en.wikipedia.org/wiki/City_Wall_of_Nanjing">city wall</A> and the |
236 <A HREF="http://en.wikipedia.org/wiki/Ming_Xiaoling_Mausoleum">Ming tombs</A> (see pictures on |
236 <A HREF="http://en.wikipedia.org/wiki/Ming_Xiaoling_Mausoleum">Ming tombs</A> (see pictures on |
237 the left). There is a wide selection of excellent restaurants around |
237 the left). There is a wide selection of excellent restaurants around |
238 Nanjing's Confucius Temple for a conference dinner. If our bid is |
238 Nanjing's Confucius Temple for a conference dinner. We will canvas for opinions about |
239 chosen, we would canvas for opinions about what participants would be |
239 what participants would be most interested in. |
240 most interested in. |
|
241 |
240 |
242 <center> |
241 <center> |
243 <table style="width: 75%"> |
242 <table style="width: 75%"> |
244 <tr> |
243 <tr> |
245 <td> |
244 <td> |