105 is that the conference should be held in a continent different |
105 is that the conference should be held in a continent different |
106 to the location of the previous meeting. The following four |
106 to the location of the previous meeting. The following four |
107 groups have submitted bids to hold ITP 2016 in: |
107 groups have submitted bids to hold ITP 2016 in: |
108 |
108 |
109 <ul> |
109 <ul> |
110 <li> <A HREF="http://www.loria.fr/~jablanch/itp2016/bid.html">Nancy</A>, France |
110 <li> <A HREF="http://www.loria.fr/~jablanch/itp2016/bid.html">Nancy</A> (France) |
111 (by Jasmin Blanchette and Stephan Merz) |
111 by Jasmin Blanchette and Stephan Merz |
112 <li> <A HREF="http://cl-informatik.uibk.ac.at/users/thiemann/itp_2016/bid.html">Innsbruck</A>, Austria |
112 <li> <A HREF="http://cl-informatik.uibk.ac.at/users/thiemann/itp_2016/bid.html">Innsbruck</A> (Austria) |
113 (by Rene Thiemann and Christian Sternagel) |
113 by Rene Thiemann and Christian Sternagel |
114 <li> <A HREF="http://web.cecs.pdx.edu/~apt/itp2016/bid.html">Oregon</A>, USA |
114 <li> <A HREF="http://web.cecs.pdx.edu/~apt/itp2016/bid.html">Oregon</A> (USA) |
115 (by Andrew Tolmach, John O'Leary and Brian Huffman) |
115 by Andrew Tolmach, John O'Leary and Brian Huffma |
116 <li> <A HREF="http://frederic.loulergue.eu/ITP2016/">Orleans</A>, France |
116 <li> <A HREF="http://frederic.loulergue.eu/ITP2016/">Orleans</A> (France) |
117 (by Frederic Loulergue, Pierre Courtieu, Frederic Dabrowski and Hugo Herbelin) |
117 by Frederic Loulergue, Pierre Courtieu, Frederic Dabrowski and Hugo Herbelin |
118 </ul> |
118 </ul> |
119 |
119 |
120 |
120 |
121 |
121 |
122 <h4>Voting</h4> |
122 <h4>Voting</h4> |