The Coq mailing list

[Joe Hurd <joe.hurd AT gmail.com>]

TPHOLs 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". 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 see

    http://www.comlab.ox.ac.uk/tphols2005/history.html

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 AT comlab.ox.ac.uk
 and should include
at least the following information:

   * name and email address of a contact person;
   * names of other people involved;
   * address of website for the bid;
   * dates the conference will be held;
   * format of the conference; and
   * colocation details (if any).

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
TPHOLs 2005 Programme Chair