equal
deleted
inserted
replaced
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: Michael Norrish, Lars Birkedal<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 essential 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 |
147 conference (21 - 23 August), and<BR><BR> |
147 conference (21 - 23 August), and<BR><BR> |
148 <IMG SRC="pics/new.gif" ALT="" style="" align="left">a |
148 <IMG SRC="pics/new.gif" ALT="" style="" align="left">a |