The Coq mailing list

[Konrad Slind <slind AT cs.utah.edu>]

                     CALL FOR BIDS: TPHOLs 2005


  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 Utah is hosting TPHOLs in 2004,
we are charged with organizing the bidding for TPHOLs in 2005. This
year, there are two phases: solicitation of bids, and voting.

  This message concerns the first phase. Bids are sought to host TPHOLs
in 2005. Previous bids may be accessed through past TPHOLs webpages:
please see

    http://www.cs.utah.edu/tphols2004/history.html

  TPHOLs is not usually held on the same continent two years in a
row. Hence, no bids to host TPHOLs 2005 in North America will be
accepted. TPHOLs is traditionally held in August or September.

  Deadline for bids is January 23, 2004. Shortly after that, the bids
will be made public and the voting phase will take place. A preferential
system will be used to count votes.

  Bids should be sent to 
tphols2004 AT cs.utah.edu
 and should include at
least the following information:

   * name and email 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
   * colocation details (if any)


Konrad Slind
TPHOLs2004 Conference Chair