109 <TR> |
109 <TR> |
110 <TD><H1>ITP 2015 will be in Nanjing</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 <p> |
|
115 |
|
116 </p> |
|
117 <p> |
115 The 6th conference on Interactive Theorem Proving will be held in |
118 The 6th conference on Interactive Theorem Proving will be held in |
116 Nanjing. The organising committee is chaired by Xingyuan Zhang and Christian Urban. |
119 Nanjing. The organising committee is chaired by Xingyuan Zhang and Christian Urban. |
117 <A HREF="http://en.wikipedia.org/wiki/Nanjing">Nanjing</A> is situated |
120 <A HREF="http://en.wikipedia.org/wiki/Nanjing">Nanjing</A> is situated |
118 in the heart of China — close to Shanghai and roughly |
121 in the heart of China — close to Shanghai and roughly |
119 equidistant between Beijing and Hong Kong. It is a former capital |
122 equidistant between Beijing and Hong Kong. It is a former capital |
120 during the Ming Dynasty with a rich <A |
123 during the Ming Dynasty with a rich <A |
121 HREF="http://www.cityofnanjing.com">cultural heritage</A>. |
124 HREF="http://www.cityofnanjing.com">cultural heritage</A>. |
122 We expect to have more information about travelling and a detailed programme |
125 We expect to have more information about travelling and a detailed programme |
123 nearer the time. |
126 nearer the time. |
|
127 </p> |
124 |
128 |
125 <H4>Timing and Tentative Programme</H4> |
129 <H4>Timing and Tentative Programme</H4> |
126 |
130 |
127 The conference will be held in the last week of August (24th - 27th |
131 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 |
132 August 2015). As is the tradition, the conference consists of 4 days |
129 conference and host any workshops on the 28th August, provided |
133 of research presentations and invited talks. Like in previous |
130 there is interest. |
134 conferences, we would allow ample time between the formal sessions for |
131 <p> |
135 attendees to mingle and converse. Half a day will be dedicated to an |
132 |
136 excursion. |
133 As is the tradition, the conference consists of 4 days of research presentations |
137 |
134 and invited talks. Like in previous conferences, we would allow ample time |
138 <p> |
135 between the formal sessions for attendees to mingle and converse. Half a day |
139 <IMG SRC="pics/new.gif" ALT="" style="" align="left">There will be an Isabelle tutorial before the |
136 will be dedicated to an excursion. |
140 conference (21 - 23 August), and<BR><BR> |
137 |
141 <IMG SRC="pics/new.gif" ALT="" style="" align="left">there will be a Coq tutorial after the conference |
|
142 (27 - 29 August).<BR><BR> |
|
143 </p> |
138 |
144 |
139 <H4>Travel to Nanjing</H4> |
145 <H4>Travel to Nanjing</H4> |
140 |
146 |
141 Nanjing is a major city in China. There are international airline |
147 Nanjing is a major city in China. There are international airline |
142 connections directly to <A |
148 connections directly to <A |