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 |
-![]() |
+![]() |
-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