# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1401102537 -3600
# Node ID 43da71639190b6dcba2a73ae33a7eb507c60a14e
# Parent  1f237ce9630a0d90328002a556d5588d71d584c5
updated

diff -r 1f237ce9630a -r 43da71639190 index.html
--- a/index.html	Wed Apr 09 15:18:58 2014 +0100
+++ b/index.html	Mon May 26 12:08:57 2014 +0100
@@ -107,7 +107,7 @@
 <TD BGCOLOR="#FFFFFF" WIDTH="75%" VALIGN="TOP">
 <TABLE>
 <TR>
-<TD><H1>ITP 2015 will be in Nanjing: Our bid has been accepted!</H1></TD>
+<TD><H1>ITP 2015 will be in Nanjing</H1></TD>
 <TD align="right" valign="top"><img src="pics/nanjing-map.jpg" width="42%" height="40%" alt="TUM" align="top"></TD>
 </TR>
 </TABLE>
@@ -119,7 +119,22 @@
 equidistant between Beijing and Hong Kong. It is a former capital
 during the Ming Dynasty with a rich <A
 HREF="http://www.cityofnanjing.com">cultural heritage</A>.  
-We expect to have more information about travelling and programme nearer the time.
+We expect to have more information about travelling and a detailed programme
+nearer the time.
+
+<H4>Timing and Tentative Programme</H4>
+
+The conference will be held in the last week of August (24th - 27th
+August 2015). We intend to organise an Isabelle tutorial before the
+main conference and host any workshops on the 28th August, provided
+there is interest.
+<p>
+
+As is the tradition, the conference consists of 4 days of research presentations
+and invited talks. Like in previous conferences, we would allow ample time
+between the formal sessions for attendees to mingle and converse. Half a day
+will be dedicated to an excursion.
+
 
 <H4>Travel to Nanjing</H4>
 
@@ -201,22 +216,6 @@
 to China should be easy to obtain for participants.
 
 
-<H4>Timing and programme</H4>
-
-We propose to hold the conference in late summer, for example in
-the last week of August (which is the usual time for ITP/TPHOLs) or
-first week of September. However we can be flexible and accommodate any
-other time in July and August. Our preference for late summer is because
-temperatures in Nanjing will then be more moderate than in the high season.
-<p>
-
-As is the tradition, the conference
-would consist of 4 days of research presentations and invited
-talks. Like in previous conferences, we would allow ample time
-between the formal sessions for attendees to mingle and converse. We
-expect workshops to take place during one or two days before or after
-the main conference. Half a day will be dedicated to an excursion...
-
 <H4>Excursion</H4>
 
 We have two possible destinations for an excursion in mind: one is to
diff -r 1f237ce9630a -r 43da71639190 pc
--- a/pc	Wed Apr 09 15:18:58 2014 +0100
+++ b/pc	Mon May 26 12:08:57 2014 +0100
@@ -34,4 +34,14 @@
 Larry Paulson
 Dan Licata (check whether he had an ITP paper)
 Lars Birkedal
-Jesper Bengtson
\ No newline at end of file
+Jesper Bengtson
+Zhaohui Luo (Royal Holloway)
+
+
+
+=========
+Invited speakers:
+
+Zhong Shao
+Andrew Appel
+Jeremy Avigad