Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Second call for bids to host ITP 2019


view this post on Zulip Email Gateway (Aug 22 2022 at 16:34):

From: Jeremy Avigad <avigad@cmu.edu>
We call for bids to host ITP 2019, the 10th 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 on a continent different
from the location of the previous meeting. For 2019, 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 itp2018@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 follow:

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 Friday, March 2, 2018. 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 considering attending ITP 2019.


Last updated: Mar 28 2024 at 12:29 UTC