equal
deleted
inserted
replaced
117 The proceedings will be published as usual in the |
117 The proceedings will be published as usual in the |
118 <A HREF="http://link.springer.com/book/10.1007/978-3-319-22102-1">LNCS</A> |
118 <A HREF="http://link.springer.com/book/10.1007/978-3-319-22102-1">LNCS</A> |
119 Series. There will be an |
119 Series. There will be an |
120 <A HREF="http://www21.in.tum.de/~nipkow/isa-tut-itp15.html">Isabelle tutorial</A> before the |
120 <A HREF="http://www21.in.tum.de/~nipkow/isa-tut-itp15.html">Isabelle tutorial</A> before the |
121 conference (21 - 23 August), and |
121 conference (21 - 23 August), and |
122 a <A HREF="http://www.strub.nu/coq-itp-15">Coq tutorial</A> after the conference |
122 a <A HREF="coq.pdf">Coq tutorial</A> after the conference |
123 (27 - 29 August). |
123 (27 - 29 August, see also <A HREF="http://www.strub.nu/coq-itp-15">here</A>). |
124 |
124 |
125 <p> |
125 <p> |
126 <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> |
126 <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> |
127 <IMG SRC="pics/new.gif" ALT="" style="" align="left"><A HREF="booklet4.pdf">ITP Booklet</A>, |
127 <IMG SRC="pics/new.gif" ALT="" style="" align="left"><A HREF="booklet4.pdf">ITP Booklet</A>, |
128 contains practical information about registration, travelling, restaurants, etc.<BR><BR> |
128 contains practical information about registration, travelling, restaurants, etc.<BR><BR> |