--- a/bids-2016.html	Sat Apr 11 04:42:16 2015 +0100
+++ b/bids-2016.html	Sat Apr 11 05:54:57 2015 +0100
@@ -98,15 +98,31 @@
 [<A HREF="history.html">Conference History</A>]
 <HR>
 
+A tradition of ITP and TPHOLs is that groups
+can bid for hosting the next conference. The only restriction
+is that the conference should be held in a continent different
+to the location of the previous meeting. The following four
+groups have submitted bids to hold ITP 2016 in:
 
-<p>ITP 2015 is the sixth conference on Interactive Theorem Proving and
-related topics, ranging from theoretical foundations to implementation
-aspects and applications in program verification, security, and
-formalization of mathematics. The inaugural meeting of ITP was held on
-11-14 July 2010 in Edinburgh, Scotland, as part of the Federated Logic
-Conference (FLoC, 9-21 July 2010). ITP is the evolution of the TPHOLs
-conference series to the broad field of interactive theorem
-proving. TPHOLs meetings took place every year from 1988 until 2009.
+<ul>
+<li> <A HREF="http://www.loria.fr/~jablanch/itp2016/bid.html">Nancy</A>, France
+     (by Jasmin Blanchette and Stephan Merz)
+<li> <A HREF="http://cl-informatik.uibk.ac.at/users/thiemann/itp_2016/bid.html">Innsbruck</A>, Austria
+     (by Rene Thiemann and Christian Sternagel)
+<li> <A HREF="http://web.cecs.pdx.edu/~apt/itp2016/bid.html">Oregon</A>, USA
+     (by Andrew Tolmach, John O'Leary and Brian Huffman)
+<li> <A HREF="http://frederic.loulergue.eu/ITP2016/">Orleans</A>, France
+     (by Frederic Loulergue, Pierre Courtieu, Frederic Dabrowski and Hugo Herbelin)
+</ul>  
+
+
+
+<h3>Voting</h3>
+
+<p>The people eligible to vote are those who are seriously thinking of attending
+ITP 2016, and the voting system used will be
+<a href="http://en.wikipedia.org/wiki/Single_Transferable_Vote">Single Transferable Vote</a>
+between all received bids. Votes should be send 
 </p>