# HG changeset patch # User Christian Urban # Date 1428728097 -3600 # Node ID 2cc120fc039c51da7dde0eaeb66f40d47bb7f7a0 # Parent e02d6cf59a00157b7827c5ecc0be2ee4ddcdb4f9 updated diff -r e02d6cf59a00 -r 2cc120fc039c bids-2016.html --- 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 @@ [Conference History]

+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: -

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. +

Nancy, France + (by Jasmin Blanchette and Stephan Merz) +
Innsbruck, Austria + (by Rene Thiemann and Christian Sternagel) +
Oregon, USA + (by Andrew Tolmach, John O'Leary and Brian Huffman) +
Orleans, France + (by Frederic Loulergue, Pierre Courtieu, Frederic Dabrowski and Hugo Herbelin) +

+ + + +

Voting

+ +

The people eligible to vote are those who are seriously thinking of attending +ITP 2016, and the voting system used will be +Single Transferable Vote +between all received bids. Votes should be send