Email Gateway (Aug 18 2022 at 17:39): Email Gateway (Aug 18 2022 at 17:39):From: Freek Wiedijk <freek@cs.ru.nl>
It is time to begin the process of selecting a host for ITP 2012, the
International Conference on Interactive Theorem Proving.
Following tradition from TPHOLs, the hosts of the previous conference
(ITP 2011) 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 2012 in Europe will be accepted. Based on
ITP and TPHOLs history, ITP 2012 will likely be held in July, August or
September.
Bids should be sent to itp2011@easychair.org and should include at least
the following information:
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://itp2011.cs.ru.nl/ITP2011/Bid_ITP11.html
Deadline for all bids is Monday, 30 May 2011. 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 2012. The voting system used will be Single Transferable
Vote between all received bids.
Marko van Eekelen
Herman Geuvers
Julien Schmaltz
Freek Wiedijk
Last updated: Apr 19 2024 at 08:19 UTC