114 <p>

   114 <p>

   115 <HR>

   115 <HR>

   116 [<A HREF="index.html#dates">Important Dates</A>]

   116 [<A HREF="index.html#dates">Important Dates</A>]

   117 [<A HREF="index.html#programme">Programme</A>]

   117 [<A HREF="index.html#programme">Programme</A>]

   118 [<A HREF="index.html#travel">Travel + Registration</A>]

   118 [<A HREF="index.html#travel">Travel + Registration</A>]

   120 <BR>

   120 <BR>

   121 [<A HREF="accepted.html">Accepted Papers</A>]

   121 [<A HREF="accepted.html">Accepted Papers</A>]

   122 [<A HREF="cfp.pdf">CFP</A>]

   122 [<A HREF="cfp.pdf">CFP</A>]

   123 [<A HREF="index.html#committees">Committees</A>]

   123 [<A HREF="index.html#committees">Committees</A>]

   124 [<A HREF="history.html">Conference History</A>]

   124 [<A HREF="history.html">Conference History</A>]

   141 a <A HREF="http://www.strub.nu/coq-itp-15">Coq tutorial</A> after the conference

   141 a <A HREF="http://www.strub.nu/coq-itp-15">Coq tutorial</A> after the conference

   142 (27 - 29 August).

   142 (27 - 29 August).

   143 

   143 

   144 <p>

   144 <p>

   145 <IMG SRC="pics/new.gif" ALT="" style="" align="left"><A HREF="http://talisker.inf.kcl.ac.uk/%7Eurbanc/cgi-bin/repos.cgi/itp-2015/raw-file/tip/prog.pdf">Preliminary programme</A><BR><BR>

   145 <IMG SRC="pics/new.gif" ALT="" style="" align="left"><A HREF="http://talisker.inf.kcl.ac.uk/%7Eurbanc/cgi-bin/repos.cgi/itp-2015/raw-file/tip/prog.pdf">Preliminary programme</A><BR><BR>

   147 contains practical information about registration, travelling, etc.<BR><BR>

   147 contains practical information about registration, travelling, etc.<BR><BR>

   148 </p>

   148 </p>

   149 

   149 

   150 <H4><A NAME="dates"></A>Important Dates</H4>

   150 <H4><A NAME="dates"></A>Important Dates</H4>

   151 

   151 

   178 Shanghai and many others. There are also very convenient train

   178 Shanghai and many others. There are also very convenient train

   179 connections from Shanghai and Beijing, which take slightly more than

   179 connections from Shanghai and Beijing, which take slightly more than

   180 1h from Shanghai and about 4h from Beijing.  Travel within Nanjing can

   180 1h from Shanghai and about 4h from Beijing.  Travel within Nanjing can

   181 be done cheaply via taxi and public transport. Hopefully helpful tips

   181 be done cheaply via taxi and public transport. Hopefully helpful tips

   182 for travelling in Nanjing and China can be found in the

   182 for travelling in Nanjing and China can be found in the

   184 

   184 

   185 <p>

   185 <p>

   186 Remember that travelling to China requires a

   186 Remember that travelling to China requires a

   187 <A HREF="http://www.travelchinaguide.com/embassy/visa.htm">visa</A>;

   187 <A HREF="http://www.travelchinaguide.com/embassy/visa.htm">visa</A>;

   188 but it should be relatively easy to obtain one for participants. You will need

   188 but it should be relatively easy to obtain one for participants. You will need

   189 a letter of invitation which Chunhan will send you (chunhanwu at 126 dot com).

   189 a letter of invitation which Chunhan will send you (chunhanwu at 126 dot com).

   190 You need to provide him with your name, title, DOB, work address, e-mail and paper title

   190 You need to provide him with your name, title, DOB, work address, e-mail and paper title

   192 details about the visa application.

   192 details about the visa application.

   193 

   193 

   194 <p>

   194 <p>

   195 <center>

   195 <center>

   196 <div id="map_canvas" style="width: 300px; height: 170px"></div>

   196 <div id="map_canvas" style="width: 300px; height: 170px"></div>

   207 

   207 

   208 <p>

   208 <p>

   209 The registration fee needs to be transferred via a bank

   209 The registration fee needs to be transferred via a bank

   210 transfer; we <span style="text-decoration: underline;"><B>cannot</B></span>

   210 transfer; we <span style="text-decoration: underline;"><B>cannot</B></span>

   211 accept credit cards etc for the conference fee. The hotel and many other things can be paid

   211 accept credit cards etc for the conference fee. The hotel and many other things can be paid

   213 details about the bank transfer.

   213 details about the bank transfer.

   214 

   214 

   215 <H4>Venue and Accommodation</H4>

   215 <H4>Venue and Accommodation</H4>

   216 

   216 

   217 The conference will take place at the

   217 The conference will take place at the

   220 (ca. 390元/£34/$52/€47 per night including breakfast)

   220 (ca. 390元/£34/$52/€47 per night including breakfast)

   221 and in easy reach from the city centre (see <A HREF="https://maps.google.com/maps?q=Hanyuan+Mansion,+20+Tongwei+Road,+Xuanwu,+Nanjing,+Jiangsu,+China,+210095&amp;hl=en&amp;ll=32.029617,118.838768&amp;spn=0.204033,0.292854&amp;sll=32.010405,118.824692&amp;sspn=0.204076,0.292854&amp;t=m&amp;z=12">here</A>

   221 and in easy reach from the city centre (see <A HREF="https://maps.google.com/maps?q=Hanyuan+Mansion,+20+Tongwei+Road,+Xuanwu,+Nanjing,+Jiangsu,+China,+210095&amp;hl=en&amp;ll=32.029617,118.838768&amp;spn=0.204033,0.292854&amp;sll=32.010405,118.824692&amp;sspn=0.204076,0.292854&amp;t=m&amp;z=12">here</A>

   222 at Google Maps). The conference hotel has the usual amenities (Wifi, conference rooms, etc)

   222 at Google Maps). The conference hotel has the usual amenities (Wifi, conference rooms, etc)

   223 and includes a restaurant. 

   223 and includes a restaurant. 

   224 We have reserved some rooms in the hotel for participants. See the

   224 We have reserved some rooms in the hotel for participants. See the

   226 

   226 

   227 

   227 

   228 <p>

   228 <p>

   229 <center>

   229 <center>

   230 <table style="width: 75%">

   230 <table style="width: 75%">