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 2006 will merge with IJCAR 2006 in Seattle

Election Result

36 votes were received, and their preferences are summarized in the following table:

First choice Second choice Third choice
Hickey, CalTech 6 9 11
Shankar, IJCAR 21 3 11
Voronkov, FLoC 9 17 4
Total 36 29 26

Since Shankar's bid has an overall majority of first choice votes, it wins the election. The TPHOLs 2005 Organizing Committee are pleased to announce that TPHOLs 2006 will merge with IJCAR 2006 in Seattle, under the supervision of Natarajan Shankar.

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". Since the University of Oxford is hosting TPHOLs in 2005, we are now organizing the bidding for TPHOLs in 2006. This year there are two phases: solicitation of bids, and voting.

This message concerns the second phase. Three bids were received to host TPHOLs 2006:

Anyone who is seriously considering attending TPHOLs 2006 is entitled to vote. The voting procedure employed will be Single Transferable Vote. To vote please send an email to joe.hurd@comlab.ox.ac.uk in the following format: 

1. First choice for TPHOLs 2006.
2. Second choice for TPHOLs 2006.
3. Third choice for TPHOLs 2006.

Your Name
It is possible to omit the second and third choices to indicate no preference. Including your name is for the sole purpose of preventing ballot stuffing: all votes will remain secret. The deadline for voting is Friday 21 January 2005.

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". Since the University of Oxford is hosting TPHOLs in 2005, we are now organizing the bidding for TPHOLs in 2006. This year there are two phases: solicitation of bids, and voting.

This message concerns the first phase. Bids are sought to host TPHOLs in 2006. 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. Hence, no bids to host TPHOLs 2006 in Europe 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:

We would like to draw your attention to the fact that IJCAR 2006 will be held in Seattle, USA, as part of FLoC 2006. In light of this, in addition to traditional bids to host the conference, we will also accept bids of the following two forms:

  1. A bid may consist of a proposal to merge TPHOLs 2006 with IJCAR 2006, thus losing the individual identity of TPHOLs for one year. Anyone interested in proposing such a bid is encouraged to contact Franz Baader (baader at tcs.inf.tu-dresden.de) who is the coordinator of the IJCAR steering committee and has kindly agreed to help. In particular the bid should contain details of how TPHOLs interests will be represented within IJCAR.
  2. A bid may consist of a proposal for TPHOLs 2006 to join FLoC 2006, which would have the effect of co-locating with IJCAR while preserving the individual identity of TPHOLs. Anyone interested in proposing such a bid is encouraged to contact Andrei Voronkov (voronkov at cs.man.ac.uk), who is one of the FLoC organizers and has kindly agreed to help.

Deadline for all bids is 31 December 2004. 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 2006, and the voting system used will be Single Transferable Vote between all received bids.

Joe Hurd, 6 January 2005