28 }); |
28 }); |
29 } |
29 } |
30 google.maps.event.addDomListener(window, 'load', initialize); |
30 google.maps.event.addDomListener(window, 'load', initialize); |
31 </script> |
31 </script> |
32 <style type="text/css"> |
32 <style type="text/css"> |
33 body { font-size: 14px; |
33 body { font-family: "trebuchet ms", helvetica, sans-serif; } |
34 font-family: "trebuchet ms", helvetica, sans-serif; } |
|
35 </style> |
34 </style> |
36 </head> |
35 </head> |
37 |
36 |
38 <BODY TEXT="#000000" |
37 <BODY TEXT="#000000" |
39 BGCOLOR="#4169E1" |
38 BGCOLOR="#4169E1" |
106 <!-- right column --> |
105 <!-- right column --> |
107 <TD BGCOLOR="#FFFFFF" WIDTH="75%" VALIGN="TOP"> |
106 <TD BGCOLOR="#FFFFFF" WIDTH="75%" VALIGN="TOP"> |
108 <TABLE> |
107 <TABLE> |
109 <TR> |
108 <TR> |
110 <TD><H1>ITP 2015 will be in Nanjing, China</H1></TD> |
109 <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> |
110 <TD align="right" valign="top"><img src="pics/nanjing-map.jpg" width="42%" height="40%" alt="ITP" align="top"></TD> |
112 </TR> |
111 </TR> |
113 </TABLE> |
112 </TABLE> |
114 |
113 |
115 <p> |
114 <p> |
116 <HR> |
115 <HR> |
137 HREF="http://www.cityofnanjing.com">cultural heritage</A>. |
136 HREF="http://www.cityofnanjing.com">cultural heritage</A>. |
138 The proceedings will be published as usual in the LNCS |
137 The proceedings will be published as usual in the LNCS |
139 Series. |
138 Series. |
140 |
139 |
141 <p> |
140 <p> |
142 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: Lars Birkedal, Michael Norrish<BR><BR> |
143 five years there have been popular |
142 <IMG SRC="pics/new.gif" ALT="" style="" align="left"><A HREF="booklet.pdf">ITP Booklet</A>, |
144 <A HREF="http://kyhcs.ustcsz.edu.cn/fmschool-2011">summerschools</A> in China about Coq |
143 contains practical information about registration, travelling, etc.<BR><BR> |
145 with 50 or so student participants each. ITPs (and TPHOLs) have |
|
146 <A HREF="history.html">never</A> been hosted in |
|
147 China, and this might be an opportunity for the ITP community to foster relations |
|
148 with researchers from China and Asia, and for local researchers to become part of the |
|
149 ITP community. We welcome everybody and hope participants will have a beneficial time at ITP 2015. |
|
150 </p> |
|
151 |
|
152 <p> |
|
153 <IMG SRC="pics/new.gif" ALT="" style="" align="left"><A HREF="accepted.html">Accepted papers</A><BR><BR> |
144 <IMG SRC="pics/new.gif" ALT="" style="" align="left"><A HREF="accepted.html">Accepted papers</A><BR><BR> |
154 <IMG SRC="pics/new.gif" ALT="" style="" align="left">There will be an Isabelle tutorial before the |
145 <IMG SRC="pics/new.gif" ALT="" style="" align="left">There will be an |
|
146 <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> |
147 conference (21 - 23 August), and<BR><BR> |
156 <IMG SRC="pics/new.gif" ALT="" style="" align="left">a |
148 <IMG SRC="pics/new.gif" ALT="" style="" align="left">a |
157 <A HREF="http://www.strub.nu/coq-itp-15">Coq tutorial</A> after the conference |
149 <A HREF="http://www.strub.nu/coq-itp-15">Coq tutorial</A> after the conference |
158 (27 - 29 August).<BR><BR> |
150 (27 - 29 August).<BR><BR> |
159 </p> |
151 </p> |
209 <H4>Registration</H4> |
201 <H4>Registration</H4> |
210 |
202 |
211 The early rate of the registration fee will be 3300元 (ca. £350/$533/€488). |
203 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元. |
204 The late rate starting from 1 August will be 3800元. |
213 The registration fee includes lunches during the |
205 The registration fee includes lunches during the |
214 conference. It also covers the excursion, the conference banquet and a welcome reception. The |
206 conference. It also covers the excursion, the conference banquet and a welcome reception. |
215 registration fee needs to be transferred via a bank |
207 The tutorials are separate. Their registration fee is 250元 for the Isabelle-tutorial |
|
208 and 200元 for the Coq-tutorial. |
|
209 |
|
210 <p> |
|
211 The registration fee needs to be transferred via a bank |
216 transfer; we <span style="text-decoration: underline;"><B>cannot</B></span> |
212 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 |
213 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 |
214 by credit card, but not the conference fee. See the <A HREF="booklet.pdf">booklet</A> for |
219 details about the bank transfer. |
215 details about the bank transfer. |
220 |
216 |