96 [<A HREF="cfp.pdf">CFP</A>] |
96 [<A HREF="cfp.pdf">CFP</A>] |
97 [<A HREF="index.html#committees">Committees</A>] |
97 [<A HREF="index.html#committees">Committees</A>] |
98 [<A HREF="history.html">Conference History</A>] |
98 [<A HREF="history.html">Conference History</A>] |
99 <HR> |
99 <HR> |
100 |
100 |
|
101 A tradition of ITP and TPHOLs is that groups |
|
102 can bid for hosting the next conference. The only restriction |
|
103 is that the conference should be held in a continent different |
|
104 to the location of the previous meeting. The following four |
|
105 groups have submitted bids to hold ITP 2016 in: |
101 |
106 |
102 <p>ITP 2015 is the sixth conference on Interactive Theorem Proving and |
107 <ul> |
103 related topics, ranging from theoretical foundations to implementation |
108 <li> <A HREF="http://www.loria.fr/~jablanch/itp2016/bid.html">Nancy</A>, France |
104 aspects and applications in program verification, security, and |
109 (by Jasmin Blanchette and Stephan Merz) |
105 formalization of mathematics. The inaugural meeting of ITP was held on |
110 <li> <A HREF="http://cl-informatik.uibk.ac.at/users/thiemann/itp_2016/bid.html">Innsbruck</A>, Austria |
106 11-14 July 2010 in Edinburgh, Scotland, as part of the Federated Logic |
111 (by Rene Thiemann and Christian Sternagel) |
107 Conference (FLoC, 9-21 July 2010). ITP is the evolution of the TPHOLs |
112 <li> <A HREF="http://web.cecs.pdx.edu/~apt/itp2016/bid.html">Oregon</A>, USA |
108 conference series to the broad field of interactive theorem |
113 (by Andrew Tolmach, John O'Leary and Brian Huffman) |
109 proving. TPHOLs meetings took place every year from 1988 until 2009. |
114 <li> <A HREF="http://frederic.loulergue.eu/ITP2016/">Orleans</A>, France |
|
115 (by Frederic Loulergue, Pierre Courtieu, Frederic Dabrowski and Hugo Herbelin) |
|
116 </ul> |
|
117 |
|
118 |
|
119 |
|
120 <h3>Voting</h3> |
|
121 |
|
122 <p>The people eligible to vote are those who are seriously thinking of attending |
|
123 ITP 2016, and the voting system used will be |
|
124 <a href="http://en.wikipedia.org/wiki/Single_Transferable_Vote">Single Transferable Vote</a> |
|
125 between all received bids. Votes should be send |
110 </p> |
126 </p> |
111 |
127 |
112 |
128 |
113 </TD> |
129 </TD> |
114 </TR> |
130 </TR> |