[Date Prev][Date Next]
[Chronological]
[Thread]
[Top]
[mizar] [ITP 2016] Please circulate: Call for Bids to Host ITP 2017 (fwd)
---------- Forwarded message ----------
Date: Thu, 10 Mar 2016 14:59:03 +0100 (CET)
From: cocon@cocon.in.tum.de
Reply-To: itp2016@inria.fr
To: adamn@math.uwb.edu.pl
Subject: [ITP 2016] Please circulate: Call for Bids to Host ITP 2017
Dear PC members,
We have started sending out the call for bids to host ITP 2017 to mailing lists on which we are (ACL2, Coq, HOL, Isabelle, Lean, PVS). We would appreciate if you could help us reach the rest of the ITP community by sending out the call to your respective subcommunities' mailing lists and/or to your colleagues.
Cheers,
Jasmin
* * *
Call for Bids to Host ITP 2017
https://itp2016.inria.fr/
We call for bids to host ITP 2017, the 8th 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 2017, 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 itp2016 at inria.fr 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 Monday, 18 April 2016. 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 2017. The voting system used will be single transferable vote between all received bids.
--
Sent by jasmin.blanchette@gmail.com via CoCon