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 LNCS |
138 Series. |
138 Series. |
139 |
139 |
140 <p> |
140 <p> |
141 There are several groups in the ITP area that are active in China. For example for the last |
141 <IMG SRC="pics/new.gif" ALT="" style="" align="left">Invited speakers: Michael Norrish, Lars Birkedal<BR><BR> |
142 five years there have been popular |
142 <IMG SRC="pics/new.gif" ALT="" style="" align="left"><A HREF="booklet.pdf">ITP Booklet</A><BR><BR> |
143 <A HREF="http://kyhcs.ustcsz.edu.cn/fmschool-2011">summerschools</A> in China about Coq |
|
144 with 50 or so student participants each. ITPs (and TPHOLs) have |
|
145 <A HREF="history.html">never</A> been hosted in |
|
146 China, and this might be an opportunity for the ITP community to foster relations |
|
147 with researchers from China and Asia, and for local researchers to become part of the |
|
148 ITP community. We welcome everybody and hope participants will have a beneficial time at ITP 2015. |
|
149 </p> |
|
150 |
|
151 <p> |
|
152 <IMG SRC="pics/new.gif" ALT="" style="" align="left"><A HREF="accepted.html">Accepted papers</A><BR><BR> |
143 <IMG SRC="pics/new.gif" ALT="" style="" align="left"><A HREF="accepted.html">Accepted papers</A><BR><BR> |
153 <IMG SRC="pics/new.gif" ALT="" style="" align="left">There will be an |
144 <IMG SRC="pics/new.gif" ALT="" style="" align="left">There will be an |
154 <A HREF="http://www21.in.tum.de/~nipkow/isa-tut-itp15.html">Isabelle tutorial</A> before the |
145 <A HREF="http://www21.in.tum.de/~nipkow/isa-tut-itp15.html">Isabelle tutorial</A> before the |
155 conference (21 - 23 August), and<BR><BR> |
146 conference (21 - 23 August), and<BR><BR> |
156 <IMG SRC="pics/new.gif" ALT="" style="" align="left">a |
147 <IMG SRC="pics/new.gif" ALT="" style="" align="left">a |
209 <H4>Registration</H4> |
200 <H4>Registration</H4> |
210 |
201 |
211 The early rate of the registration fee will be 3300元 (ca. £350/$533/€488). |
202 The early rate of the registration fee will be 3300元 (ca. £350/$533/€488). |
212 The late rate starting from 1 August will be 3800元. |
203 The late rate starting from 1 August will be 3800元. |
213 The registration fee includes lunches during the |
204 The registration fee includes lunches during the |
214 conference. It also covers the excursion, the conference banquet and a welcome reception. The |
205 conference. It also covers the excursion, the conference banquet and a welcome reception. |
215 registration fee needs to be transferred via a bank |
206 The tutorials are separate. Their registration fee is 250元 for the Isabelle-tutorial |
|
207 and 200元 for the Coq-tutorial. |
|
208 |
|
209 <p> |
|
210 The registration fees needs to be transferred via a bank |
216 transfer; we <span style="text-decoration: underline;"><B>cannot</B></span> |
211 transfer; we <span style="text-decoration: underline;"><B>cannot</B></span> |
217 accept credit cards etc for the conference fee. The hotel and many other things can be paid |
212 accept credit cards etc for the conference fee. The hotel and many other things can be paid |
218 by credit card, but not the conference fee. See the <A HREF="booklet.pdf">booklet</A> for |
213 by credit card, but not the conference fee. See the <A HREF="booklet.pdf">booklet</A> for |
219 details about the bank transfer. |
214 details about the bank transfer. |
220 |
215 |