From mboxrd@z Thu Jan 1 00:00:00 1970 X-Received: by 10.31.150.9 with SMTP id y9mr3993076vkd.111.1516317912870; Thu, 18 Jan 2018 15:25:12 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 10.176.72.37 with SMTP id b34ls193791uad.13.gmail; Thu, 18 Jan 2018 15:25:10 -0800 (PST) X-Received: by 10.31.158.137 with SMTP id h131mr1214212vke.94.1516317910087; Thu, 18 Jan 2018 15:25:10 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1516317910; cv=none; d=google.com; s=arc-20160816; b=W81ezvW7bYKJwCEAAlrEhMSTtWaZdtyVyC2rj+t+rqyKV9AyWkBgA8yI0Ph5Uf2DK8 bZSB1ts54FgQ68RriQKL8Ojvtyu1Zr5LNg06ZJGLQk0I/DK0K1ejbO71Sj4XIjzUQP85 SDMiBYCD0Rq6ek7SBwPVZZaeTydgdr4lZOUhJlconKNyeEcRuIuSpZFbq4FjNy2o0iky N9KFb7EeXN2EmCTfnMlY/cKmjwjRwiJFURyt0h9XX2Zby9OzTNHug2cKppDgeBZIv8pW ajYTlUkzNGCbO9X2O4KjIBNSrzaWw+Y5qJVd56oXSET+OlGYN6NeBIMULC5ejAjTtWrT /RUA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=to:subject:message-id:date:from:mime-version:dkim-signature :arc-authentication-results; bh=XEqmtPQCDLKZa4L/JP7gixb0ILGcPmGb7IP7r9sbAd4=; b=GWQ1esSIFe1c4IZUaebqTPc2jYViUMThdSlpwSBbePeR8gXtsuN9kVWc3D61AESQE8 uzyKnmMPalEzSeY3WueQPd8hUS+F92BHX63ekxBZtkygIuL1i5jKvsxsToTym6Tw44im cjWWWIKx4niPMxRXITf6OepjhVPXzGkwAHxPjciFyq3gSVnLT+IinrgH+Co1m6cAb1AD MUA8Or2kwPYol/rxBvbTyFtTBP6tvezq+9wJ/IfUEwXUbZxuSgpS4j5OwTJfvdccOx/R z2nJ4GDMc82LapCUsySgYHR5eEz36VxIj0k1MEpfF8HDux24fiKvUSl5ond5VK3GiKax 7m6A== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass head...@cmu-edu.20150623.gappssmtp.com header.s=20150623 header.b=AguyZNvO; spf=neutral (google.com: 2607:f8b0:4003:c0f::236 is neither permitted nor denied by best guess record for domain of avi...@andrew.cmu.edu) smtp.mailfrom=avi...@andrew.cmu.edu; dmarc=fail (p=NONE sp=NONE dis=NONE) header.from=cmu.edu Return-Path: Received: from mail-ot0-x236.google.com (mail-ot0-x236.google.com. [2607:f8b0:4003:c0f::236]) by gmr-mx.google.com with ESMTPS id t23si567941uaj.5.2018.01.18.15.25.10 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Thu, 18 Jan 2018 15:25:10 -0800 (PST) Received-SPF: neutral (google.com: 2607:f8b0:4003:c0f::236 is neither permitted nor denied by best guess record for domain of avi...@andrew.cmu.edu) client-ip=2607:f8b0:4003:c0f::236; Authentication-Results: gmr-mx.google.com; dkim=pass head...@cmu-edu.20150623.gappssmtp.com header.s=20150623 header.b=AguyZNvO; spf=neutral (google.com: 2607:f8b0:4003:c0f::236 is neither permitted nor denied by best guess record for domain of avi...@andrew.cmu.edu) smtp.mailfrom=avi...@andrew.cmu.edu; dmarc=fail (p=NONE sp=NONE dis=NONE) header.from=cmu.edu Received: by mail-ot0-x236.google.com with SMTP id t20so12300040ote.11 for ; Thu, 18 Jan 2018 15:25:09 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=cmu-edu.20150623.gappssmtp.com; s=20150623; h=mime-version:from:date:message-id:subject:to; bh=XEqmtPQCDLKZa4L/JP7gixb0ILGcPmGb7IP7r9sbAd4=; b=AguyZNvOCsJkz2CiQyqbStPqqpGrlGVExcDD/UtPAn6mLTYciuXgZXZEkyXx8zL2Y3 tGXJU6ukUKtdhxYer+2nomCufbvLXuOGMFuPhJYGlrkozA5wnQEmM9Hw16HCqnfDV6m2 yJROHwr0Ca4DwbLfwk38C6MSiBMB+yExGsyVQFO52huWrbNeJjIt3hBSmgwhi+9a97Pe WWntlKMQHoE24ELbyoUc5wchLwgG5DAr4PHN8NCnCPotA3oruBn9EiSkDxdwd6HxCQG2 wVH11eBcaDB3ukainrx0AzFWcuI1fn4HD0vvGhRAxRQlnxZKClohzTg/KqHz9+ZOrm4z Zt6Q== X-Gm-Message-State: AKwxytf1d86XI+9SVCGhm73stAA0c+EZBaM5kccVBg7yOSeREptwTO31 Hi25OXwa/U4WPzazpG/NGI0dfs2PNrIq2PeQUU9aIg== X-Received: by 10.157.26.87 with SMTP id u23mr4673914otu.336.1516317909470; Thu, 18 Jan 2018 15:25:09 -0800 (PST) MIME-Version: 1.0 Received: by 10.157.13.194 with HTTP; Thu, 18 Jan 2018 15:25:08 -0800 (PST) From: Jeremy Avigad Date: Thu, 18 Jan 2018 18:25:08 -0500 Message-ID: Subject: Second call for bids to host ITP 2019 To: undisclosed-recipients:; Content-Type: multipart/alternative; boundary="001a1134fd0a5c6bd905631546b9" Bcc: homotopyt...@googlegroups.com --001a1134fd0a5c6bd905631546b9 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable 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 itp...@easychair.org and should include at least the following information: =E2=80=A2 name and email address of a contact person =E2=80=A2 names of other people involved =E2=80=A2 address of website for the bid =E2=80=A2 approximate dates of the conference =E2=80=A2 structure (e.g., k workshop days and n days of presentations, exc= ursion, etc.) =E2=80=A2 advantages of the proposed venue Example of previous winning bids follow: =E2=80=A2 http://itp2011.cs.ru.nl/ITP2011/Bid_ITP11.html =E2=80=A2 http://www.cs.princeton.edu/~appel/itp2012/bid.html =E2=80=A2 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= . --001a1134fd0a5c6bd905631546b9 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
We call for bids to host= =C2=A0ITP=C2=A02019, the 10th International= Conference on Interactive Theorem Proving.

As in previous years, the p= rocedure consists of two phases: solicitation of bids and voting. This mess= age concerns the first phase. A long-standing=C2=A0ITP/TPHOLs convention is that the conference should be held on a co= ntinent different from the location of the previous meeting. For 2019, we t= herefore solicit bids from prospective hosts located outside Europe. Simila= r to previous years, we expect bids to propose a date in July, August or Se= ptember.

Bids should be sent to=C2=A0itp...@easychair.org=C2=A0and should include at= least the following information:

=
= =09=E2=80=A2 name and email address of a contact person
=09=E2= =80=A2 names of other people involved
= =09=E2=80=A2 address of website= for the=C2=A0bid
=09=E2=80=A2 approx= imate dates of the conference
=09=E2=80=A2 structure (e.g., k worksho= p days and n days of presentations, excursion, etc.)
=09=E2=80=A2 adv= antages of the proposed venue

Example of previous winning bids follow:<= /div>

=09=E2=80=A2=C2=A0http://www.irisa.fr= /celtique/blazy/bid-itp13.html

The deadline for bids is Friday, March 2, 2018. Shortly after, all admitte= d bids will be made public and the voting phase will take place. The people= eligible to vote are those who are seriously considering attending=C2=A0ITP=C2=A02019.
--001a1134fd0a5c6bd905631546b9--