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="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> |
157 Conference: 24-27 August 2015<BR> |
157 Conference: 24-27 August 2015<BR> |
158 <A HREF="https://easychair.org/conferences/?conf=itp2015">Submission page</A><BR> |
158 <A HREF="https://easychair.org/conferences/?conf=itp2015">Submission page</A><BR> |
159 |
159 |
160 <H4><A NAME="programme">Tentative Programme</H4> |
160 <H4><A NAME="programme">Tentative Programme</H4> |
161 |
161 |
162 The conference will be held in the last week of August (24th - 27th |
162 As is the tradition, the conference consists of 4 days |
163 August 2015). As is the tradition, the conference consists of 4 days |
|
164 of research presentations and invited talks. Like in previous |
163 of research presentations and invited talks. Like in previous |
165 conferences, we will allow ample time between the formal sessions for |
164 conferences, we will have ample time between the formal sessions for |
166 attendees to mingle and converse. Half a day will be dedicated to an |
165 attendees to mingle and converse. Half a day will be dedicated to an |
167 excursion to <A HREF="http://en.wikipedia.org/wiki/Yangzhou">Yangzhou</A> |
166 excursion to <A HREF="http://en.wikipedia.org/wiki/Yangzhou">Yangzhou</A> |
168 and the <A HREF="http://en.wikipedia.org/wiki/Yangzhou#Slender_West_Lake">Slender West Lake</A>. |
167 and the <A HREF="http://en.wikipedia.org/wiki/Yangzhou#Slender_West_Lake">Slender West Lake</A>. |
169 The list of accepted papers can be found <A HREF="accepted.html">here</A>. |
168 The preliminary programme of talks can be found |
170 A more detailed programme will be posted soon. |
169 <A HREF="http://talisker.inf.kcl.ac.uk/%7Eurbanc/cgi-bin/repos.cgi/itp-2015/raw-file/tip/prog.pdf">here</A>. |
|
170 |
171 |
171 |
172 <H4><A NAME="travel">Travel to Nanjing</H4> |
172 <H4><A NAME="travel">Travel to Nanjing</H4> |
173 |
173 |
174 Nanjing is a major city in China. There are international airline |
174 Nanjing is a major city in China. There are international airline |
175 connections directly to <A |
175 connections directly to <A |