[isabelle] TPHOLs 2007: Call for bids

TPHOLs 2007


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 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;
    * approximate dates the conference will be held;
    * format of the conference; and
    * colocation details (if any).

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.

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.