ITP 2011 Host Selection

Host Selection Process

Deadline for receipt of bids: February 17, 2010.

As bids are received, information about them will be posted near the bottom of this page.

Solicitation of Bids

Following tradition from TPHOLs, the hosts of the previous conference (ITP 2010) are running the process. There are two phases: solicitation of bids and voting. This message concerns the first phase. A long-standing TPHOLs convention is that the conference should be held in a continent different from the location of the previous meeting, but we have removed that restriction because no bids were received by the original deadline. Based on ITP and TPHOLs history, ITP 2011 will likely be held in July, August or September. (The ACL2 Workshop has taken place at various times of year.)

Each bid should be sent to itp10@easychair.org, preferably as a link to a web page, else as text for us to post. Bids 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 of the conference
• structure (e.g., k workshop days and n days of presentations followed by excursion...)
• advantages of the proposed venue

Deadline for all bids is Wednesday, 17 February 2010.

(Note: ACL2 papers will be welcome at ITP 2011, regardless of whether or not there is a separate ACL2 workshop in 2011.)

Voting