Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Call for Bids to host ITP 2016

Email Gateway (Aug 22 2022 at 09:01):

From: Christian Urban <christian.urban@kcl.ac.uk>
The 7th International Conference on Interactive Theorem Proving

As chairs of ITP 2015, we call for bids to host ITP 2016, the Seventh
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 Asia. Similar to previous
years, we expect bids to propose a date in July, August or September.

Bids should be sent to itp2015 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, excursion etc)
• advantages of the proposed venue

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, 6 April 2015. 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 2016.
The voting system used will be Single Transferable Vote between all received
bids.

Xingyuan Zhang
Christian Urban

Last updated: Apr 26 2024 at 08:19 UTC