itp-2015: comparison index.html

equal deleted inserted replaced

-:a6519fa758ff
+:c6b9cc8899bb
 <p>
 <HR>
 [<A HREF="index.html#dates">Important Dates</A>]
 [<A HREF="index.html#programme">Programme</A>]
 [<A HREF="index.html#travel">Travel + Registration</A>]
-[<A HREF="booklet2.pdf">ITP Booklet</A>]
+[<A HREF="booklet3.pdf">ITP Booklet</A>]
 <BR>
 [<A HREF="accepted.html">Accepted Papers</A>]
 [<A HREF="cfp.pdf">CFP</A>]
 [<A HREF="index.html#committees">Committees</A>]
 [<A HREF="history.html">Conference History</A>]
 a <A HREF="http://www.strub.nu/coq-itp-15">Coq tutorial</A> after the conference
 (27 - 29 August).
 <p>
 <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>
-<IMG SRC="pics/new.gif" ALT="" style="" align="left"><A HREF="booklet2.pdf">ITP Booklet</A>,
+<IMG SRC="pics/new.gif" ALT="" style="" align="left"><A HREF="booklet3.pdf">ITP Booklet</A>,
-contains practical information about registration, travelling, etc.<BR><BR>
+contains practical information about registration, travelling, restaurants, etc.<BR><BR>
 </p>
 <H4><A NAME="dates"></A>Important Dates</H4>
 Submission of title and abstracts: 9 March 2015<BR>
 Shanghai and many others. There are also very convenient train
 connections from Shanghai and Beijing, which take slightly more than
 1h from Shanghai and about 4h from Beijing.  Travel within Nanjing can
 be done cheaply via taxi and public transport. Hopefully helpful tips
 for travelling in Nanjing and China can be found in the
-<A HREF="booklet2.pdf">booklet</A>.
+<A HREF="booklet3.pdf">booklet</A>.
 <p>
 Remember that travelling to China requires a
 <A HREF="http://www.travelchinaguide.com/embassy/visa.htm">visa</A>;
 but it should be relatively easy to obtain one for participants. You will need
 a letter of invitation which Chunhan will send you (chunhanwu at 126 dot com).
 You need to provide him with your name, title, DOB, work address, e-mail and paper title
-(if you present a paper). See the <A HREF="booklet2.pdf">booklet</A> for
+(if you present a paper). See the <A HREF="booklet3.pdf">booklet</A> for
 details about the visa application.
 <!-- <p>
 <center>
 <div id="map_canvas" style="width: 300px; height: 170px"></div>
 <p>
 The registration fee needs to be transferred via a bank
 transfer; we <span style="text-decoration: underline;"><B>cannot</B></span>
 accept credit cards etc for the conference fee. The hotel and many other things can be paid
-by credit card, but not the conference fee. See the <A HREF="booklet2.pdf">booklet</A> for
+by credit card, but not the conference fee. See the <A HREF="booklet3.pdf">booklet</A> for
 details about the bank transfer.
 <H4>Venue and Accommodation</H4>
 The conference will take place at the
 <!-- (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>
 at Google Maps). -->
 The conference hotel has the usual amenities (Wifi, conference rooms, etc)
 and includes a restaurant.
 We have reserved some rooms in the hotel for participants. See the
-<A HREF="booklet2.pdf">booklet</A> for information about the hotel booking.
+<A HREF="booklet3.pdf">booklet</A> for information about the hotel booking.
 <p>
 <center>
 <table style="width: 75%">

changeset 318	c6b9cc8899bb
parent 312	f40c44330340
child 320	762ff31e09d3