equal
deleted
inserted
replaced
114 <p> |
114 <p> |
115 <HR> |
115 <HR> |
116 [<A HREF="index.html#dates">Important Dates</A>] |
116 [<A HREF="index.html#dates">Important Dates</A>] |
117 [<A HREF="index.html#programme">Programme</A>] |
117 [<A HREF="index.html#programme">Programme</A>] |
118 [<A HREF="index.html#travel">Travel + Registration</A>] |
118 [<A HREF="index.html#travel">Travel + Registration</A>] |
119 [<A HREF="booklet.pdf">ITP Booklet</A>] |
119 [<A HREF="http://talisker.inf.kcl.ac.uk/%7Eurbanc/cgi-bin/repos.cgi/itp-2015/raw-file/tip/booklet.pdf">ITP Booklet</A>] |
120 <BR> |
120 <BR> |
121 [<A HREF="accepted.html">Accepted Papers</A>] |
121 [<A HREF="accepted.html">Accepted Papers</A>] |
122 [<A HREF="cfp.pdf">CFP</A>] |
122 [<A HREF="cfp.pdf">CFP</A>] |
123 [<A HREF="index.html#committees">Committees</A>] |
123 [<A HREF="index.html#committees">Committees</A>] |
124 [<A HREF="history.html">Conference History</A>] |
124 [<A HREF="history.html">Conference History</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"><A HREF="prog.pdf">Preliminary programme</A><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="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> |
143 contains practical information about registration, travelling, etc.<BR><BR> |
144 There will be an |
144 There will be an |
145 <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 |
146 conference (21 - 23 August), and<BR><BR> |
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 |
147 a <A HREF="http://www.strub.nu/coq-itp-15">Coq tutorial</A> after the conference |