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="prog1.pdf">Preliminary programme</A><BR><BR> |
126 <IMG SRC="pics/new.gif" ALT="" style="" align="left"><A HREF="prog1.pdf">Programme</A><BR><BR> |
127 <IMG SRC="pics/new.gif" ALT="" style="" align="left"><A HREF="booklet5.pdf">ITP Booklet</A>, |
127 <IMG SRC="pics/new.gif" ALT="" style="" align="left"><A HREF="booklet5.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> |
136 Author notification: 15 May 2015<BR> |
136 Author notification: 15 May 2015<BR> |
137 Camera-ready papers: 5 June 2015<BR> |
137 Camera-ready papers: 5 June 2015<BR> |
138 Conference: 24-27 August 2015<BR> |
138 Conference: 24-27 August 2015<BR> |
139 <A HREF="https://easychair.org/conferences/?conf=itp2015">Submission page</A><BR> |
139 <A HREF="https://easychair.org/conferences/?conf=itp2015">Submission page</A><BR> |
140 |
140 |
141 <H4><A NAME="programme">Tentative Programme</H4> |
141 <center> |
|
142 <a href="itp-photo.jpg"> |
|
143 <img src="itp-photo.jpg" width="40%" height="40%"></a> |
|
144 </center> |
|
145 |
|
146 <H4><A NAME="programme">Programme</H4> |
142 |
147 |
143 As is the tradition, the conference consists of 4 days |
148 As is the tradition, the conference consists of 4 days |
144 of research presentations and invited talks. Like in previous |
149 of research presentations and invited talks. Like in previous |
145 conferences, we will have ample time between the formal sessions for |
150 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 |
151 attendees to mingle and converse. Half a day will be dedicated to an |