94 <p>

    94 <p>

    95 <HR>

    95 <HR>

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

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

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

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

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

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

   100 <BR>

   100 <BR>

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

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

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

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

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

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

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

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

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

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

   123 (27 - 29 August).

   123 (27 - 29 August).

   124 

   124 

   125 <p>

   125 <p>

   126 <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>

   126 <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>

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

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

   129 </p>

   129 </p>

   130 

   130 

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

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

   132 

   132 

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

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

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

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

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

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

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

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

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

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

   165 

   165 

   166 <p>

   166 <p>

   167 Remember that travelling to China requires a

   167 Remember that travelling to China requires a

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

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

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

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

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

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

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

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

   173 details about the visa application.

   173 details about the visa application.

   174 

   174 

   175 <!-- <p>

   175 <!-- <p>

   176 <center>

   176 <center>

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

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

   188 

   188 

   189 <p>

   189 <p>

   190 The registration fee needs to be transferred via a bank

   190 The registration fee needs to be transferred via a bank

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

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

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

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

   194 details about the bank transfer.

   194 details about the bank transfer.

   195 

   195 

   196 <H4>Venue and Accommodation</H4>

   196 <H4>Venue and Accommodation</H4>

   197 

   197 

   198 The conference will take place at the

   198 The conference will take place at the

   203 <!-- (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>

   203 <!-- (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>

   204 at Google Maps). -->

   204 at Google Maps). -->

   205 The conference hotel has the usual amenities (Wifi, conference rooms, etc)

   205 The conference hotel has the usual amenities (Wifi, conference rooms, etc)

   206 and includes a restaurant. 

   206 and includes a restaurant. 

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

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

   209 

   209 

   210 

   210 

   211 <p>

   211 <p>

   212 <center>

   212 <center>

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

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