133 in the heart of China — close to Shanghai and roughly |
133 in the heart of China — close to Shanghai and roughly |
134 equidistant between Beijing and Hong Kong. It is a former capital |
134 equidistant between Beijing and Hong Kong. It is a former capital |
135 during the Ming Dynasty with a rich <A |
135 during the Ming Dynasty with a rich <A |
136 HREF="http://www.cityofnanjing.com">cultural heritage</A>. |
136 HREF="http://www.cityofnanjing.com">cultural heritage</A>. |
137 The proceedings will be published as usual in the LNCS |
137 The proceedings will be published as usual in the LNCS |
138 Series. |
138 Series. There will be an |
|
139 <A HREF="http://www21.in.tum.de/~nipkow/isa-tut-itp15.html">Isabelle tutorial</A> before the |
|
140 conference (21 - 23 August), and<BR><BR> |
|
141 a <A HREF="http://www.strub.nu/coq-itp-15">Coq tutorial</A> after the conference |
|
142 (27 - 29 August). |
139 |
143 |
140 <p> |
144 <p> |
141 <IMG SRC="pics/new.gif" ALT="" style="" align="left"><A HREF="prog.pdf">Preliminary programme</A><BR><BR> |
145 <IMG SRC="pics/new.gif" ALT="" style="" align="left"><A HREF="prog.pdf">Preliminary programme</A><BR><BR> |
142 <IMG SRC="pics/new.gif" ALT="" style="" align="left"><A HREF="http://talisker.inf.kcl.ac.uk/%7Eurbanc/cgi-bin/repos.cgi/itp-2015/raw-file/tip/booklet.pdf">ITP Booklet</A>, |
146 <IMG SRC="pics/new.gif" ALT="" style="" align="left"><A HREF="http://talisker.inf.kcl.ac.uk/%7Eurbanc/cgi-bin/repos.cgi/itp-2015/raw-file/tip/booklet.pdf">ITP Booklet</A>, |
143 contains practical information about registration, travelling, etc.<BR><BR> |
147 contains practical information about registration, travelling, etc.<BR><BR> |
144 There will be an |
|
145 <A HREF="http://www21.in.tum.de/~nipkow/isa-tut-itp15.html">Isabelle tutorial</A> before the |
|
146 conference (21 - 23 August), and<BR><BR> |
|
147 a <A HREF="http://www.strub.nu/coq-itp-15">Coq tutorial</A> after the conference |
|
148 (27 - 29 August).<BR><BR> |
|
149 </p> |
148 </p> |
150 |
149 |
151 <H4><A NAME="dates"></A>Important Dates</H4> |
150 <H4><A NAME="dates"></A>Important Dates</H4> |
152 |
151 |
153 Submission of title and abstracts: 9 March 2015<BR> |
152 Submission of title and abstracts: 9 March 2015<BR> |