equal
deleted
inserted
replaced
102 |
102 |
103 A tradition of ITP and TPHOLs is that groups |
103 A tradition of ITP and TPHOLs is that groups |
104 can bid for hosting the next conference. The only restriction |
104 can bid for hosting the next conference. The only restriction |
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 organise ITP in 2016 and are |
|
108 eligible: |
108 |
109 |
109 <ul> |
110 <ul> |
110 <li> <A HREF="http://www.loria.fr/~jablanch/itp2016/bid.html">Nancy</A> (France) |
111 <li> <A HREF="http://www.loria.fr/~jablanch/itp2016/bid.html">Nancy</A> (France) |
111 by Jasmin Blanchette and Stephan Merz |
112 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) |
113 <li> <A HREF="http://cl-informatik.uibk.ac.at/users/thiemann/itp_2016/bid.html">Innsbruck</A> (Austria) |