diff -r b20c856b2389 -r 7b71e2c2b422 index.html
--- a/index.html	Sat Nov 15 08:44:19 2014 +0000
+++ b/index.html	Sat Nov 29 00:08:23 2014 +0000
@@ -107,18 +107,20 @@
 <TD BGCOLOR="#FFFFFF" WIDTH="75%" VALIGN="TOP">
 <TABLE>
 <TR>
-<TD><H1>ITP 2015 will be in Nanjing</H1></TD>
+<TD><H1>ITP 2015 will be in Nanjing, China</H1></TD>
 <TD align="right" valign="top"><img src="pics/nanjing-map.jpg" width="42%" height="40%" alt="TUM" align="top"></TD>
 </TR>
 </TABLE>
 <p>
-[CFP]
+<HR>
+[<a href="index.html#dates">Important Dates</a>]
+[<A HREF="cfp.pdf">CFP</A>]
 [<A HREF="history.html">Conference History</A>]
-</p>
+<HR></p>
 
 <p>
 The 6th conference on Interactive Theorem Proving will be held in
-Nanjing. The organising committee is chaired by Xingyuan Zhang and Christian Urban.
+Nanjing, China. The organising committee is chaired by Xingyuan Zhang and Christian Urban.
 <A HREF="http://en.wikipedia.org/wiki/Nanjing">Nanjing</A> is situated
 in the heart of China &#8212; close to Shanghai and roughly
 equidistant between Beijing and Hong Kong. It is a former capital
@@ -129,6 +131,13 @@
 Series.
 </p>
 
+<H3><A NAME="dates"></A>Important Dates</H3>
+Submission of title and abstract: 9 March 2015<BR>
+Submission of full paper: 13 March 2015<BR>
+Author notification: 15 May 2015<BR>
+Camera-ready papers: 5 June 2015<BR>
+Conference: 14-27 August 2015<BR>
+
 <H4>Timing and Tentative Programme</H4>
 
 The conference will be held in the last week of August (24th - 27th