As tradition dictates, and as advertised on the TPHOLs history page, the organizing committee of TPHOLs'98 is managing a poll of the community to select the venue for TPHOLs'99. We have now progressed to the phase of the process where bids are in and voting begins.
Exciting bids have come from three very active groups, each suggesting attractive locations for the next TPHOLs. Please peruse their proposals on the web before you vote, to get the best idea of what they plan.
Votes are now being accepted and will be until June 26. The winner should be announced by July 1.
To register a vote, all that is required is an email message addressed to TPHOLs98@cs.anu.edu.au indicating an order of preference for the 3 sites. The subject line should read "TPHOLs99 vote".
As we mentioned in the call for bids, we will use a system of preferential voting, rather than first-past-the-post. The algorithm we advertised we would use was as follows:
Anyone who is seriously contemplating attending TPHOLs'99 will be invited to vote. We are specifically soliciting votes from the user-communities for the major higher order logic theorem provers - Coq, Isabelle, HOL, Lego, Nuprl and PVS.