105 |
105 |
106 <!-- right column --> |
106 <!-- right column --> |
107 <TD BGCOLOR="#FFFFFF" WIDTH="75%" VALIGN="TOP"> |
107 <TD BGCOLOR="#FFFFFF" WIDTH="75%" VALIGN="TOP"> |
108 <TABLE> |
108 <TABLE> |
109 <TR> |
109 <TR> |
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</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 |
115 The 6th conference on Interactive Theorem Proving will be held in |
117 <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 |
118 in the heart of China — close to Shanghai and roughly |
118 in the heart of China — close to Shanghai and roughly |
119 equidistant between Beijing and Hong Kong. It is a former capital |
119 equidistant between Beijing and Hong Kong. It is a former capital |
120 during the Ming Dynasty with a rich <A |
120 during the Ming Dynasty with a rich <A |
121 HREF="http://www.cityofnanjing.com">cultural heritage</A>. |
121 HREF="http://www.cityofnanjing.com">cultural heritage</A>. |
122 We expect to have more information about travelling and programme nearer the time. |
122 We expect to have more information about travelling and a detailed programme |
|
123 nearer the time. |
|
124 |
|
125 <H4>Timing and Tentative Programme</H4> |
|
126 |
|
127 The conference will be held in the last week of August (24th - 27th |
|
128 August 2015). We intend to organise an Isabelle tutorial before the |
|
129 main conference and host any workshops on the 28th August, provided |
|
130 there is interest. |
|
131 <p> |
|
132 |
|
133 As is the tradition, the conference consists of 4 days of research presentations |
|
134 and invited talks. Like in previous conferences, we would allow ample time |
|
135 between the formal sessions for attendees to mingle and converse. Half a day |
|
136 will be dedicated to an excursion. |
|
137 |
123 |
138 |
124 <H4>Travel to Nanjing</H4> |
139 <H4>Travel to Nanjing</H4> |
125 |
140 |
126 Nanjing is a major city in China. There are international airline |
141 Nanjing is a major city in China. There are international airline |
127 connections directly to <A |
142 connections directly to <A |
198 <A HREF="http://en.wikipedia.org/wiki/Suzhou">Suzhou</A>. |
213 <A HREF="http://en.wikipedia.org/wiki/Suzhou">Suzhou</A>. |
199 Travelling |
214 Travelling |
200 <A HREF="http://www.travelchinaguide.com/embassy/visa.htm">visas</A> |
215 <A HREF="http://www.travelchinaguide.com/embassy/visa.htm">visas</A> |
201 to China should be easy to obtain for participants. |
216 to China should be easy to obtain for participants. |
202 |
217 |
203 |
|
204 <H4>Timing and programme</H4> |
|
205 |
|
206 We propose to hold the conference in late summer, for example in |
|
207 the last week of August (which is the usual time for ITP/TPHOLs) or |
|
208 first week of September. However we can be flexible and accommodate any |
|
209 other time in July and August. Our preference for late summer is because |
|
210 temperatures in Nanjing will then be more moderate than in the high season. |
|
211 <p> |
|
212 |
|
213 As is the tradition, the conference |
|
214 would consist of 4 days of research presentations and invited |
|
215 talks. Like in previous conferences, we would allow ample time |
|
216 between the formal sessions for attendees to mingle and converse. We |
|
217 expect workshops to take place during one or two days before or after |
|
218 the main conference. Half a day will be dedicated to an excursion... |
|
219 |
218 |
220 <H4>Excursion</H4> |
219 <H4>Excursion</H4> |
221 |
220 |
222 We have two possible destinations for an excursion in mind: one is to |
221 We have two possible destinations for an excursion in mind: one is to |
223 <A HREF="http://en.wikipedia.org/wiki/Yangzhou">Yangzhou</A> (1h away |
222 <A HREF="http://en.wikipedia.org/wiki/Yangzhou">Yangzhou</A> (1h away |