equal
deleted
inserted
replaced
140 conference (21 - 23 August), and |
140 conference (21 - 23 August), and |
141 a <A HREF="http://www.strub.nu/coq-itp-15">Coq tutorial</A> after the conference |
141 a <A HREF="http://www.strub.nu/coq-itp-15">Coq tutorial</A> after the conference |
142 (27 - 29 August). |
142 (27 - 29 August). |
143 |
143 |
144 <p> |
144 <p> |
145 <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/prog.pdf">Preliminary programme</A><BR><BR> |
145 <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/prog.pdf">Preliminary programme</A><BR><BR> |
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>, |
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>, |
147 contains practical information about registration, travelling, etc.<BR><BR> |
147 contains practical information about registration, travelling, etc.<BR><BR> |
148 </p> |
148 </p> |
149 |
149 |
150 <H4><A NAME="dates"></A>Important Dates</H4> |
150 <H4><A NAME="dates"></A>Important Dates</H4> |