diff -r 8d2a12050a75 -r 9ce7445ca4e2 index.html
--- a/index.html Wed Jun 10 00:45:53 2015 +0100
+++ b/index.html Wed Jun 10 13:12:00 2015 +0100
@@ -138,17 +138,8 @@
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: Michael Norrish, Lars Birkedal
+ITP Booklet
Accepted papers
There will be an
Isabelle tutorial before the
@@ -211,8 +202,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 fees 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