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</H1></TD> |
110 <TD><H1>ITP 2015 will be in Nanjing, China</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 <p> |
114 <p> |
115 [CFP] |
115 <HR> |
|
116 [<a href="index.html#dates">Important Dates</a>] |
|
117 [<A HREF="cfp.pdf">CFP</A>] |
116 [<A HREF="history.html">Conference History</A>] |
118 [<A HREF="history.html">Conference History</A>] |
117 </p> |
119 <HR></p> |
118 |
120 |
119 <p> |
121 <p> |
120 The 6th conference on Interactive Theorem Proving will be held in |
122 The 6th conference on Interactive Theorem Proving will be held in |
121 Nanjing. The organising committee is chaired by Xingyuan Zhang and Christian Urban. |
123 Nanjing, China. The organising committee is chaired by Xingyuan Zhang and Christian Urban. |
122 <A HREF="http://en.wikipedia.org/wiki/Nanjing">Nanjing</A> is situated |
124 <A HREF="http://en.wikipedia.org/wiki/Nanjing">Nanjing</A> is situated |
123 in the heart of China — close to Shanghai and roughly |
125 in the heart of China — close to Shanghai and roughly |
124 equidistant between Beijing and Hong Kong. It is a former capital |
126 equidistant between Beijing and Hong Kong. It is a former capital |
125 during the Ming Dynasty with a rich <A |
127 during the Ming Dynasty with a rich <A |
126 HREF="http://www.cityofnanjing.com">cultural heritage</A>. |
128 HREF="http://www.cityofnanjing.com">cultural heritage</A>. |
127 We expect to have more information about travelling and a detailed programme |
129 We expect to have more information about travelling and a detailed programme |
128 nearer the time. The proceedings will be published as usual in the LNCS |
130 nearer the time. The proceedings will be published as usual in the LNCS |
129 Series. |
131 Series. |
130 </p> |
132 </p> |
|
133 |
|
134 <H3><A NAME="dates"></A>Important Dates</H3> |
|
135 Submission of title and abstract: 9 March 2015<BR> |
|
136 Submission of full paper: 13 March 2015<BR> |
|
137 Author notification: 15 May 2015<BR> |
|
138 Camera-ready papers: 5 June 2015<BR> |
|
139 Conference: 14-27 August 2015<BR> |
131 |
140 |
132 <H4>Timing and Tentative Programme</H4> |
141 <H4>Timing and Tentative Programme</H4> |
133 |
142 |
134 The conference will be held in the last week of August (24th - 27th |
143 The conference will be held in the last week of August (24th - 27th |
135 August 2015). As is the tradition, the conference consists of 4 days |
144 August 2015). As is the tradition, the conference consists of 4 days |