equal
deleted
inserted
replaced
121 conference (21 - 23 August), and |
121 conference (21 - 23 August), and |
122 a <A HREF="coq.pdf">Coq tutorial</A> after the conference |
122 a <A HREF="coq.pdf">Coq tutorial</A> after the conference |
123 (27 - 29 August, see also <A HREF="http://www.strub.nu/coq-itp-15">here</A>). |
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="prog1.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> |
129 </p> |
129 </p> |
130 |
130 |
131 <H4><A NAME="dates"></A>Important Dates</H4> |
131 <H4><A NAME="dates"></A>Important Dates</H4> |
145 conferences, we will have ample time between the formal sessions for |
145 conferences, we will have ample time between the formal sessions for |
146 attendees to mingle and converse. Half a day will be dedicated to an |
146 attendees to mingle and converse. Half a day will be dedicated to an |
147 excursion to <A HREF="http://en.wikipedia.org/wiki/Yangzhou">Yangzhou</A> |
147 excursion to <A HREF="http://en.wikipedia.org/wiki/Yangzhou">Yangzhou</A> |
148 and the <A HREF="http://en.wikipedia.org/wiki/Yangzhou#Slender_West_Lake">Slender West Lake</A>. |
148 and the <A HREF="http://en.wikipedia.org/wiki/Yangzhou#Slender_West_Lake">Slender West Lake</A>. |
149 The preliminary programme of talks can be found |
149 The preliminary programme of talks can be found |
150 <A HREF="http://talisker.inf.kcl.ac.uk/%7Eurbanc/cgi-bin/repos.cgi/itp-2015/raw-file/tip/prog.pdf">here</A>. |
150 <A HREF="prog1.pdf">here</A>. |
151 |
151 |
152 |
152 |
153 <H4><A NAME="travel">Travel to Nanjing</H4> |
153 <H4><A NAME="travel">Travel to Nanjing</H4> |
154 |
154 |
155 Nanjing is a major city in China. There are international airline |
155 Nanjing is a major city in China. There are international airline |