The University of Oxford

TPHOLs 2005
Oxford, UK
22-25 August 2005

http://web.comlab.ox.ac.uk/TPHOLs2005/
 
home conference history bid call for papers accepted papers
advance program registration accommodation travel to oxford tphols 2006
proceedings business meeting tphols 2007

TPHOLs 2007 will be held in Kaiserslautern, Germany

Election Result

35 votes were received, and their preferences are summarized like so:

University to Kaiserslautern20 votes
IT University of Copenhagen15 votes

The TPHOLs 2005 Organizing Committee are therefore pleased to announce that TPHOLs 2007 will be held at the University of Kaiserslautern, Germany, organized by Klaus Schneider and Jens Brandt. Please refer to the bid web page for more information:

http://rsg.informatik.uni-kl.de/misc/bid-TPHOLs2007/

Thank you to everyone who participated in the selection process, and especially to Klaus, Jens and Carsten for proposing bids.

Call for Votes

It is a long-standing custom that the host (in year "n") of Theorem Proving in Higher Order Logics (TPHOLs) helps select the host of TPHOLs for year "n+1". However, TPHOLs is merging with IJCAR in 2006, and so it was decided at the business meeting of TPHOLs 2005 that the organizers of TPHOLs 2005 would organize the bidding for TPHOLs 2007. There are two phases: solicitation of bids, and voting.

This message concerns the second phase. Two bids were received to host TPHOLs 2007:

Klaus Schneider and Jens Brandt proposed a bid to host TPHOLs 2007 at the University of Kaiserslautern, Germany.
Bid web page: http://rsg.informatik.uni-kl.de/misc/bid-TPHOLs2007/

Carsten Schuerman proposed a bid to host TPHOLs 2007 at the IT University of Copenhagen, Denmark.
Bid web page: http://www.logosphere.org/tphols-2007/bid.html

Anyone who is seriously considering attending TPHOLs 2007 is entitled to vote. The voting procedure employed will be Single Transferable Vote, but in the present case of two bids this is equivalent to simply voting for your preferred choice. To vote please send an email to joe.hurd@comlab.ox.ac.uk in the following format: 

Your preferred bid to host TPHOLs 2007

Your Name
Including your name is for the sole purpose of preventing ballot stuffing: all votes will remain secret. The deadline for voting is Friday 3 February 2006.

Call for Bids

It is a long-standing custom that the host (in year "n") of Theorem Proving in Higher Order Logics (TPHOLs) helps select the host of TPHOLs for year "n+1". However, TPHOLs is merging with IJCAR in 2006, and so it was decided at the business meeting of TPHOLs 2005 that the organizers of TPHOLs 2005 would organize the bidding for TPHOLs 2007. There are two phases: solicitation of bids, and voting.

This message concerns the first phase. Bids are sought to host TPHOLs in 2007. Previous bids may be accessed through past TPHOLs webpages: please refer to the conference history section of this website.

TPHOLs is not usually held on the same continent two years in a row. At the business meeting of TPHOLs 2005 it was decided that the merging of TPHOLs with IJCAR in 2006 would count under this rule, and therefore no bids to host TPHOLs 2007 in North America will be accepted. TPHOLs is traditionally held in August or September.

Bids should be sent to tphols2005@comlab.ox.ac.uk and should include at least the following information:

Deadline for all bids is 31 December 2005. Shortly after that, the bids will be made public and the voting phase will take place. The people eligible to vote are those who are seriously thinking of attending TPHOLs 2007, and the voting system used will be Single Transferable Vote between all received bids.

Joe Hurd, 5 February 2006