equal
deleted
inserted
replaced
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: Michael Norrish, Lars Birkedal<BR><BR> |
141 <IMG SRC="pics/new.gif" ALT="" style="" align="left">Invited speakers: Lars Birkedal, Michael Norrish<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 <IMG SRC="pics/new.gif" ALT="" style="" align="left"><A HREF="accepted.html">Accepted papers</A><BR><BR> |
145 <IMG SRC="pics/new.gif" ALT="" style="" align="left">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 |
146 <A HREF="http://www21.in.tum.de/~nipkow/isa-tut-itp15.html">Isabelle tutorial</A> before the |