# HG changeset patch # User chunhan # Date 1434063467 -28800 # Node ID 263926fd0c57639353d82d16d150e1583c3b1a3c # Parent 06db16ca93356efca0ccc5e1a79cc01f80078036# Parent 51c1e01c586bc56c84d8df362ad13bfab13bb049 update diff -r 06db16ca9335 -r 263926fd0c57 booklet.pdf Binary file booklet.pdf has changed diff -r 06db16ca9335 -r 263926fd0c57 booklet.tex --- a/booklet.tex Fri Jun 12 06:44:57 2015 +0800 +++ b/booklet.tex Fri Jun 12 06:57:47 2015 +0800 @@ -37,7 +37,8 @@ \noindent The early conference fee is RMB 3300, which is approximately \pounds{}350, \$533, or \euro{}488. It must be transferred via bank transfer and must arrive in RMB on our -end; we cannot accept any other form of payment. +end; we cannot accept any other form of payment. The tutorials +can be registered independently from the conference. The conference fee includes lunches during the conference. It also covers the excursion, the conference banquet and a @@ -56,8 +57,8 @@ \end{tabular} \end{center} -\noindent -The amount payable needs to be transferred to the account: +\noindent The amount payable needs to be +transferred to the account: \begin{center} \begin{tabular}{ll} diff -r 06db16ca9335 -r 263926fd0c57 index.html --- a/index.html Fri Jun 12 06:44:57 2015 +0800 +++ b/index.html Fri Jun 12 06:57:47 2015 +0800 @@ -30,8 +30,7 @@ google.maps.event.addDomListener(window, 'load', initialize); @@ -108,7 +107,7 @@ - +

ITP 2015 will be in Nanjing, China

TUMITP
@@ -139,19 +138,12 @@ Series.

-There are several groups in the ITP area that are active in China. For example for the last -five years there have been popular -summerschools in China about Coq -with 50 or so student participants each. ITPs (and TPHOLs) have -never been hosted in -China, and this might be an opportunity for the ITP community to foster relations -with researchers from China and Asia, and for local researchers to become part of the -ITP community. We welcome everybody and hope participants will have a beneficial time at ITP 2015. -

- -

+Invited speakers: Lars Birkedal, Michael Norrish

+ITP Booklet, +contains practical information about registration, travelling, etc.

Accepted papers

-There will be an Isabelle tutorial before the +There will be an +Isabelle tutorial before the conference (21 - 23 August), and

a Coq tutorial after the conference @@ -211,8 +203,12 @@ The early rate of the registration fee will be 3300元 (ca. £350/$533/€488). The late rate starting from 1 August will be 3800元. The registration fee includes lunches during the -conference. It also covers the excursion, the conference banquet and a welcome reception. The -registration fee needs to be transferred via a bank +conference. It also covers the excursion, the conference banquet and a welcome reception. +The tutorials are separate. Their registration fee is 250元 for the Isabelle-tutorial +and 200元 for the Coq-tutorial. + +

+The registration fee needs to be transferred via a bank transfer; we cannot 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 booklet for