Email Gateway (Aug 19 2022 at 13:15): Email Gateway (Aug 19 2022 at 13:15):From: Gerwin Klein <Gerwin.Klein@nicta.com.au>
Call for Bids
ITP 2015, 6th International Conference on Interactive Theorem Proving
As chairs of ITP 2014, we call for bids to host ITP 2015, the Sixth
International Conference on Interactive Theorem Proving.
As in previous years, the procedure consists of two phases: solicitation of
bids and voting. This message concerns the first phase. A long-standing
ITP/TPHOLs convention is that the conference should be held in a continent
different from the location of the previous meeting. For 2015, we therefore
solicit bids from prospective hosts located outside Europe. Similar to
previous years, we expect bids to propose a date in July, August or September.
Bids should be sent to itp2014 at easychair.org and should include at least
the following information:
Example of previous winning bids are these:
http://itp2011.cs.ru.nl/ITP2011/Bid_ITP11.html
http://www.cs.princeton.edu/~appel/itp2012/bid.html
http://www.irisa.fr/celtique/blazy/bid-itp13.html
The deadline for bids is Monday, 24 February 2014. Shortly after, all admitted
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 2015.
The voting system used will be Single Transferable Vote between all received
bids.
Gerwin Klein
Ruben Gamboa
The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.
Last updated: Apr 25 2024 at 20:15 UTC