Email Gateway (Aug 18 2022 at 09:55): Email Gateway (Aug 18 2022 at 09:55):From: TPHOLs 2007 Organisers <tphols2007@informatik.uni-kl.de>
CALL FOR BIDS
21th International Conference
on Theorem Proving in Higher Order Logics
It is time to begin the process of selecting a host for TPHOLs 2008. As is the
tradition, the hosts of the previous conference (i.e. TPHOLs 2007) are
running the process. There are two phases: solicitation of bids and voting.
This message concerns the first phase.
A longstanding convention is that the conference should be held in a continent
different to the location of the previous meeting, and therefore no bids to
host TPHOLs 2008 in Europe will be accepted. TPHOLs is traditionally held in
August or September. Bids should be sent to tphols2007@informatik.uni-kl.de
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).
Previous bids can be accessed through the TPHOLs webpages. Please refer to the
TPHOLs 2008 Host Selection page
http://rsg.informatik.uni-kl.de/TPHOLs-2007/tphols2008.html
Deadline for all bids is 15 Jan 2007.
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 2008. The voting system used will be Single Transferable
Vote between all received bids.
Jens Brandt
Last updated: May 03 2024 at 08:18 UTC