equal
deleted
inserted
replaced
113 </TABLE> |
113 </TABLE> |
114 |
114 |
115 <p> |
115 <p> |
116 <HR> |
116 <HR> |
117 [<A HREF="index.html#dates">Important Dates</A>] |
117 [<A HREF="index.html#dates">Important Dates</A>] |
|
118 [<A HREF="index.html#travel">Travel + Registration</A>] |
118 [<A HREF="cfp.pdf">CFP</A>] |
119 [<A HREF="cfp.pdf">CFP</A>] |
119 [<A HREF="index.html#committees">Committees</A>] |
120 [<A HREF="index.html#committees">Committees</A>] |
120 [<A HREF="accepted.html">Accepted Papers</A>] |
121 [<A HREF="accepted.html">Accepted Papers</A>] |
121 [<A HREF="history.html">Conference History</A>] |
122 [<A HREF="history.html">Conference History</A>] |
122 [<A HREF="bids-2016.html">ITP 2016 Bids</A>] |
123 [<A HREF="bids-2016.html">ITP 2016 Bids</A>] |
160 The conference will be held in the last week of August (24th - 27th |
161 The conference will be held in the last week of August (24th - 27th |
161 August 2015). As is the tradition, the conference consists of 4 days |
162 August 2015). As is the tradition, the conference consists of 4 days |
162 of research presentations and invited talks. Like in previous |
163 of research presentations and invited talks. Like in previous |
163 conferences, we will allow ample time between the formal sessions for |
164 conferences, we will allow ample time between the formal sessions for |
164 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 |
165 excursion. |
166 excursion to <A HREF="http://en.wikipedia.org/wiki/Yangzhou">Yangzhou</A> |
|
167 and the <A HREF="http://en.wikipedia.org/wiki/Yangzhou#Slender_West_Lake">Slender West Lake</A>. |
166 |
168 |
167 <H4><A NAME="committees"></A>Programme Committee</H4> |
169 <H4><A NAME="committees"></A>Programme Committee</H4> |
168 |
170 |
169 <TABLE> |
171 <TABLE> |
170 <TR><TD><A HREF="http://www.cs.unibo.it/~asperti/">Andrea Asperti</A></TD> |
172 <TR><TD><A HREF="http://www.cs.unibo.it/~asperti/">Andrea Asperti</A></TD> |