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. |
139 |
139 |
140 <p> |
140 <p> |
141 <IMG SRC="pics/new.gif" ALT="" style="" align="left">Invited speakers: Lars Birkedal, Michael Norrish<BR><BR> |
141 <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="booklet.pdf">ITP Booklet</A>, |
142 <IMG SRC="pics/new.gif" ALT="" style="" align="left"><A HREF="booklet.pdf">ITP Booklet</A>, |
143 contains practical information about registration, travelling, etc.<BR><BR> |
143 contains practical information about registration, travelling, etc.<BR><BR> |
144 <IMG SRC="pics/new.gif" ALT="" style="" align="left"><A HREF="accepted.html">Accepted papers</A><BR><BR> |
144 There will be an |
145 <IMG SRC="pics/new.gif" ALT="" style="" align="left">There will be an |
|
146 <A HREF="http://www21.in.tum.de/~nipkow/isa-tut-itp15.html">Isabelle tutorial</A> before the |
145 <A HREF="http://www21.in.tum.de/~nipkow/isa-tut-itp15.html">Isabelle tutorial</A> before the |
147 conference (21 - 23 August), and<BR><BR> |
146 conference (21 - 23 August), and<BR><BR> |
148 <IMG SRC="pics/new.gif" ALT="" style="" align="left">a |
147 a <A HREF="http://www.strub.nu/coq-itp-15">Coq tutorial</A> after the conference |
149 <A HREF="http://www.strub.nu/coq-itp-15">Coq tutorial</A> after the conference |
|
150 (27 - 29 August).<BR><BR> |
148 (27 - 29 August).<BR><BR> |
151 </p> |
149 </p> |
152 |
150 |
153 <H4><A NAME="dates"></A>Important Dates</H4> |
151 <H4><A NAME="dates"></A>Important Dates</H4> |
154 |
152 |