The Coq mailing list

[Georges Gonthier <gonthier AT microsoft.com>]

  (Forwarding on behalf of Matt & Larry -- Georges)

Hello,

We received no bids for hosting ITP 2011.  Therefore, we will also
entertain bids to host ITP 2011 in Europe, in spite of our previous
restriction against that.

If you might be interested in hosting (whether in Europe or not),
please send a reply only to 
itp10 AT easychair.org,
 no later than
Wednesday of next week, January 13, just to let us know that you are
considering it.

Matt Kaufmann and Larry Paulson
- ------- Start of forwarded message -------
From: Lawrence Paulson 
<lp15 AT cam.ac.uk>
Subject: Call for Bids (ITP 2011)
Date: Wed, 11 Nov 2009 15:28:08 +0000

It is time to begin the process of selecting a host for ITP 2011, the 
International Conference on Interactive Theorem Proving. 

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, and therefore no bids to host ITP 
2011 in Europe will be accepted. 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.)

Bids should be sent to 
itp10 AT easychair.org
 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 of the conference
- - - structure (e.g., k workshop days and n days of presentations followed 
by excursion...)
- - - advantages of the proposed venue

An example of a previous winning bid is here: 
http://web2.comlab.ox.ac.uk/oucl/conferences/TPHOLs2005/bid.html

Deadline for all bids is Monday, 4 January 2010. 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 ITP 2011. 
The voting system used will be Single Transferable Vote between all received 
bids.

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

Matt Kaufmann and Larry Paulson
- ------- End of forwarded message -------

- --2RlIv.4V78HXJbd.1W9lSu.50b8b08--
------- End of forwarded message -------