coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Call for bids to host ITP 2023

From: Leonardo de Moura <leonardo AT microsoft.com>
To: "isabelle-users AT cl.cam.ac.uk" <isabelle-users AT cl.cam.ac.uk>, "coq-club AT inria.fr" <coq-club AT inria.fr>, "hol-info AT lists.sourceforge.net" <hol-info AT lists.sourceforge.net>, "mizar-forum AT mizar.uwb.edu.pl" <mizar-forum AT mizar.uwb.edu.pl>, "acl2 AT utlists.utexas.edu" <acl2 AT utlists.utexas.edu>, "agda AT lists.chalmers.se" <agda AT lists.chalmers.se>, "pvs AT csl.sri.com" <pvs AT csl.sri.com>, "cicm-members AT lists.informatik.uni-erlangen.de" <cicm-members AT lists.informatik.uni-erlangen.de>, "types-announce AT lists.seas.upenn.edu" <types-announce AT lists.seas.upenn.edu>, "lean-user AT googlegroups.com" <lean-user AT googlegroups.com>
Cc: June Andronick <june.andronick AT proofcraft.systems>
Subject: Re: [Coq-Club] Call for bids to host ITP 2023
Date: Fri, 4 Mar 2022 04:21:14 +0000
Accept-language: en-US
Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=microsoft.com; dmarc=pass action=none header.from=microsoft.com; dkim=pass header.d=microsoft.com; arc=none
Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=DyiOGkbJ4kp18lQGAqJn/WdAOGvw8cMl7eWEVOqJcws=; b=f4Bec+F6PPQRHcdjxiBVZ/2b/gtYojoTKEVolwJkEjE4SE6MTgNzdMuE7KTfz997PROZ6QcrwYMzRj+Lc/IstcwB86R7lA+3EPnXboBTM/JhTMebGMP5Y5RVNT2Ue3gPHWrnpIdFRnPZCaa2jLhGtsHJH+TchAwYrXt6/bdpjzrDHdUobpm3YXjGZvjGRAcK9JPRKgeYHy6v2XOUt2bUELn9WZXTa0l2q8rFssDdhOMkcATIoUYbuPkSdYuLQ86TAP0Wv6lfYE0LglDMZIwhril3fL9w9Ol7UwpcAp9QjdzrrC4hwdacw9np6qVk/vTPg1M8gYYS6LnttA8XAean3w==
Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=FN9zAW9NHqtW2FUvY8bmV/cUDXQ1iQ/awHgQUNDkTZ8UZmPcjNawcTjEwhCyT7L8a9Bus3viri8L1UKq60RNI0iD68JC+82VMISksud3DxmjI376eUOdUoEu2q09l3t6ISR3oKW1kjxvuBV7cUvQXIp6Os1Juyzykw6g5uh/p9MHf6D1xFZ/5zN7b7MShxQBPNtwhkND8IU98uf+4rHZiAXQLTZQCVSU1X4yotpEAm4koSen6sF6iIZoR5kXbBij8xaGeMF0fXlJJi23VzMgjZ4hN28oRlER4vdU+TXfOcoJZScCrrVLRyfsTqBm6pbCNpdmBLtKadR5cvaSENN9eg==
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=leonardo AT microsoft.com; spf=Pass smtp.mailfrom=leonardo AT microsoft.com; spf=Pass smtp.helo=postmaster AT na01-obe.outbound.protection.outlook.com
Ironport-data: A9a23:yg5Z6aw57cP66sjsUQ16t+dCwyrEfRIJ4+MujC+fZmUNrF6WrkVUz GYdXmiPb/qNNDD0ctgjYdi2ph4PsZSAxtY3SgtqrVhgHilAwSbnLYTAfx2oZ0t+DeWaERk5t 51GAjXkBJppJpMJjk71atANlVEliefQAOOU5NfsYkidfyc9IMsaoU8lyrZRbrJA24DjWVvW4 Y+q+qUzBXf8s9JKGjJMg068gEg31BjCkGtwUosWOJinFHeH/5UkJMp3yZOZdxMUcaEIdgKOf Nsv+Znilo/vE7jBPfv++lrzWhVirrc/pmFigFIOM0SpqkAqSiDfTs/XOdJEAXq7hQllkPhc5 OgOrqaeTj0VZIz3wOg6dAReGApXaPguFL/veRBTsOSVxhWfNnzmzrNpEV08OpAe9qBvG2ZS+ PcEKTcLKBeem+axx7H9Qe5p7ighBJSxetpH4zc+lHeAXZ7KQribK0nOzdtV2zE5nMxJNfPfb NAecj1hcFLLZBgn1lI/Us5lxr742SCXnztwiUOTiYEN2CvvjzdA1pjrMOveIdHQfJAA9qqfj jmfpD+mav0AD/SUziPA+XaxjMfUjCbjUcQTEqe5/7hkmjWuKnc7DRQXUR6wvOKwmEm4AosHc RRMo3poqrUu/ku2SNW7Rwe/vHOPoh8bXZxXDvE+7waOjKHT5m51G1ToUBZsROFlr/UYQgYWj H6yx9/OIiFpu5a8HCf1GqivkRu+Pi0cLGknbCACTBcY79SLnG3VpkKfJjqEOP7q5uAZCQ0c0 BjW9XZm3ex7YdojkvTgowmd2FpAs7CQFlZtjjg7SF5J+e+QiGSNS4GzoX3c7PBNN+51pXHc5 CNcxKByAA0eZKxheQSISeQJWbq0/P+XNzuF2AY1R8F4p3Kq5mKpep1W7HdmPkB1P80YeDjvJ kjOpQdW45wVN3yvBUOWX25TI5pwpUQDPY2+PhwxUjaoSsMtHONg1HoyDXN8J0i3zCARfVgXY P93i/qEA3cAErhAxzGrXeob2rJD7nlgmT2IHsqhl0z8juX2iJuppVEtYAvmggcRvPPsnekp2 40OXyd340kCDLyjOnWPmWLtBQpScyJrXPgaVPC7hsbYe1E9RwnN+tfUwLg7fJdikbgdneDS5 nanU1NZz1yXuJE0AVTiV5yXU5u2BcwXhStiZUQEZA/4s1B+P9rHxPpBJvMfIOl2nMQ+nKUcZ 6RUJK2oXK8VIhyZoGt1UHUIhNE4HPhdrVjQb3PNjflWV8MIejElDfe/Jlq/rHRVV3Hv3Sb8y pX5vj7mrVM4b1wKJK7rhDiHljtdZFARx7B/WVXmON5WdBm++YRmMXWq3Po2KNsLMhLN2n2R0 APPWUUUouzEookU9tjVhP7b9N70TbsmRkcKTXPG6buWNDXB+jbxy4F3VuvVLyvWU3n5+fn/a OgMl6P8PfQLkUxkqY15F7o3n6sy68G2/O1fzw9+G27MYUjtAbRleyHU0c5Kv6xL57lYpQroB RnWp4cKYe2EYZq3HkQQKQwpavW4+csVwjSCv+4oJEja5TNs+ObVW0tlORTR2jdWK6F4Md94z Oos5JwW5gi4hkZ4O9qKlHwMpWKFdiVFVK8q8JYHHIXslwwnjElYZoDRATP355fJbMhQNk4tI Xmfg6+b3+ZQwU/LcnwSE3nR3LUC2s1e4kwSlFJSdU6Untflh+Ms2EID/DkySDNTxEoV3u92P F9tKEAod76F+C1lhZQYUm3wSRtNAgaVph74x1cTyTeLSkCpUinGMXY0K+GLpRlBqToEJ2gd+ 6yEwmH4VzqsZNv2wiY5RU9irbrkUMB18QrB3sugGp3dTZU9ZDPkhI6oZHYJ9ES4WJNr2BWfq Lk45vt0ZI36KTUU/P82Boyc4rIaF0KJKWlEdvd+8f5bBmrbYjyzhWODJk3Zlhmh/BAWHZJUy vCCJ/6jkzy43X7X6zcRCOgLPqN+m+Mv6JwaYLT3KGUasryZ6D10rJbX8Su4j2guKzmrudhoM ZvfLlpuDUTJ7Ua4WUeUxCWHBoZ8SdwFbxf7x+e77KMCEJdrXCREbxQpyrXt15mKGFIPwv9X1 T8vo4fTzud4zp9rkZeqGaJGb+lxxRUfS8zQmD2OXx9ygR8j/CsAW875arUqAuiOAYYsZg==
Ironport-hdrordr: A9a23:ounOhK9w39ob5IA1HC5uk+DjI+orL9Y04lQ7vn2ZKCYlCvBw8v rFoB11726XtN98YgBEpTniAtjifZq/z+8S3WB5B97LN2nbUQOTTb2KhrGSpwEIbBeOkdK1u5 0QCpSWy+edMbG5t6vHCcWDfOrICePozJyV
Ironport-phdr: A9a23:8JvpeBV1G+XmRtdCcXU6cGNJ8ALV8KzNWzF92vMcY1JmTK2v8tzYM VDF4r011RmVB9+dsqobwLSG+4nbGkU4qa6bt34DdJEeHzQksu4x2zIaPcieFEfgJ+TrZSFpV O5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1Ov71GonPhMiryuy+4ZLebxtWiDanfL9+M Be7oQrQu8QVnIBvNrs/xhzVr3VSZu9Y33loJVWdnxb94se/4ptu+DlOtvwi6sBNT7z0c7w3Q rJEAjsmNXs15NDwuhnYUQSP/HocXX4InRdOHgPI8Qv1Xpb1siv9q+p9xCyXNtD4QLwoRTiv6 bpgRQT2gykbKTE27GDXitRxjK1FphKhuwd/yJPQbI2MKfZyYr/RcdYcSGFcXMheSjZBD5u8Y YUREuQBIehWoYrzp1QMsRSxChKhC/nzxjNUnHL6wbE23uQnHArb3AIgBdUOsHHModvzKqgSV ua1w7PSzTreaPNdxCry55bVeR4mpvGMQKhwftDMwkQoEwPKkFKQqYr/MDOPy+sNtHOW7+9hV e2zkW4nrBpxoj+hxscwkIXGmoUVylXd+Ch/3Y06KsG2RlRhbt64DJtfqTuaN41uT84iTGxmu Dg3x7IGt5O5YCUG1IoryhHeZvGac4WF/xPuWuaNLDplmH9oZL2yihWu/EWj1+DwS9W53lZKo CdHkdTBsG0G2RLU6siCUPR9/0Gh1C6L1wDU8OFEIFo7mbDVK5472rIwkYcTsVjHHi/xn0X2j 7WaeVkj+uit8+jnf7PmqYSGO4BvkAHyKrwuldGwAOgiLAcBQnWb9OKh37Pg5U30WLVHguMsn qXErJzWON4Xq6+kDwNPz4ou6A6zAymn3dgEk3QKKU9JdA6cgIXoPlzCPuz0APS6jlmikjpmx vXLM7j8DpnRKHXIja3vcqxn60FGzQo+1dBf6IxQCrEGOP/zXFX+uMDFAhMgNAy72PjoBM961 oMDRWKAGaiZML7UsVCV/O4vO/OMZIgJuDnjN/cl+//ujXg/mVMHeqmpwIcXaHS/HvRhIEWVe 2bjgtAEEWsSvwo+SvLliEGaXDNTeXq+Rb8w6i0mBI68DIrPW5qhjKGC0SujG51ZfGFGClSCE XfycIWEXu8BaCaMLc9mlDwLT6KhRJIm1Ry1sQ/6yqZoLvDT+i0DspLj2sR16/fPmhE18Dx4F 8Kd3HqVQGFugmwIXyM23Lx4oUFl11uPybJ4jOBAFdxP+/NJVR83OoLbz+xjEtz9RgbBfsqSR 1u9WdWnATQxTsorzNMUYkZ9Hc+ijhHZ0CawDb8Vje/DOJthuKPH1nL8I8Jwjmvd2bM6p1IiB MBGMCuvjehi9EKbU4/Smk+Uk6KnMLkH0TTW3GyHi2GHuQdRW0htUvOBFToUYVKTptDk7GvDS aWvAPIpKEEJncWFM+5BbsDjpVRAXvbqftrENSb50We3AVOJwL2LRI7rYHkGmj7aFVIPng4U5 3mLcw4zGm3p92LZCHlvE1zoS0ft6vVl7mi8U1U/wg+NdUJskby45khRzbaZSuEaxPcKvz08r h1xHUS0xZTLFNDGqgZ8Or1YK5tp5VZV3HicuQtnI5mIKqFwj0RYbht9+U7iylNvDtME2YIjp 3dw5BduLaODzEgHai+VzZnrfLDbNyO6qBmkb/T+x03a0c2K4eES9Pkook6lsQ20QA5quXxo3 9B913qH+o6MBwobVZf8SF1x7BUw7+XTbSU0z4fVzmF3d6K0uzvH1sgyQvAonFLoNc9BK4uPD wu0CNcbQcOpLaZiz0C3dToPJ+QU77Q1ecihcq3CkOSgPe1l2TeriG5K+ptV1kOX6zE6S+jG2 IwAyu2Z3U2aUTa5gU2lu8b4lIYCaTxYVj60yCPhQYtcY6d/Z50jDWa1P9bxx9NwgIToUmJZ9 xi+AVJD1dWtcBydYlq70QAGkQxdvW2/lDD9xjpylCwvpae32C3V3/+kbxcOIShWXGRkixHhL ZX+x4QGTVCldE0gkh2i+EDxyoBfpb9jNC/ITE5TOTXuImdkFKa8q+zGK4RL5Zou9DhMXf6Ub ledRbrwrAEdzjv4WWBZwXpzIzWns5O8ggd3kkqSK3F8qHfWY8Zt3QyZ79vZE61/xD0DEQ11j j/eHFS7d9WktfCTio3K+rS6WmWnX4dfdgHuzIiaszC863EsChq6yaPg0ub7GBQ3hHeon+JhU j/F+VOlOtGDP8WSNOtmehMtH1rg849gHYo4lIIshZYW0Hxch5OP/HNBn32gec5D1/fYa3wAD SUO38aT+BLsjUluKXSA3Y7+fnCcydFmfN60fiUd3Sdup9tSBvKs5adf1TBwvkL+qAvQZfZnm TJIzfYp7ncAj+YhvQsm1CKGBb4OW0JfOH+kjAyGuui3t74ff2Ozaf6w2U55yMimF62HqxpAV WzRfJ56RGp35Mg5N0/Q2nru7I2iYMPXcd8YqhyTlVHHkvRRL5Uy0PENgEKLIErbunsog64+h B1qh9ShuZSfbn9q9+S/CwJZMTv8Y4US/CvshOBQhJTe2YfnBZhnFjgROfmgBfu1DDIfs+jmP AeSAXU9rHmcA7/WAQ6Y7g9vsXvOF5mhM3zfKmMeyJ1uQxyUJUoXhw5xPn1ympM+EAmwyMvJd UZy/DcK4VDk7BBLz6MgNhXyVHveuBb9ci09G9CUKBtb6B0H5l+AbJbYt7oqWX8BuMTx/2nvY iSBag9FDH8EQBmBDlHnZPy14MXYtvKfDay4JufPZrOHrapfUe2JzNShyNgDnX7EO8ORM31lF /B+1FBEWCUzH8nenTwVRys/kiPGdcmAoxmgvCZwq4rslZajEBKq/oaJB7ZIZJ9r9hewiL2PM MaVhS1jLi1f2I9KznjNgut6vhZam2RlcD+jFq4FvCjGQffLm6NZOBUcbjt6KMpC669UMhBlA cfAkZu107d5iqRwEFJZTRn7ncrvY8UWIma7PVeBBUCRNb3AKyeZi83wZKq9T/VXgoA2/1W0t DGdGlXvORyGljLzUAuoP/0KhyaedBBTo4CydB9xBHOrEYigM0XidoEuy2RmibQvzmvHL2sdL SRxfyYv5vWL4CVUj+8+U21N43x5LPWVziOQ7u3WMJET4rNgBiV5kf4f4WxvluETtXkdAqIs3 nKC/bsM6xm8n+KCyyRqSk9LozdP3seQuFl6fL/e/d9GUGrF+xQE6SORDQ4Lrp1rEI6K2egYx 97Rmab0MDoH/cjT+J5WA8XTLsudPH0JNBviAjnPCwUZCzWsMCuM4i4V2OHX7XCTopUg/9Lol Z0IQ6VXU3QwF/gADV9iEsBEK5ByFGBB8/bTnIsD4nywqwPUTcNRs8XcV/6cNv7oLS6QkbhOY xZbiaO9N4kYMZf3nlBzclQv1pqfAFLeBJoex08pJh9xukhG92JyC3E+y16wIB34+2cdTLa1h kJk1lM4ML5rrHG0pA5qblvS+HlsyA9owYqj2XbJN2evScX4FYBOV3ip7Q5oasu9G0AtKlTu1 U18aGWdH+4X0+QmLSYzz1aD8ZpXR6wGRPUdMkZJnKOZO61wgwYb9nXCpwcP5PObW8FrzFJ4K Mf1/Xwcg1kxPplpdeTRIqFN01Rd1LmWsCPuzvo23AIVO0cK9iWVZTIMv0sLcLIhIk/KtqQp4 AiG0VOvYUA0XuEx6rJv/0I5YaGbyj74lqREIQa3PvCeKKWQvy7Bk9SJSxU+zBFAm05A9Llwm cAtFijcH1go16eUHg8VONDqLwgNNo9V/nWVejuSu+LQx54zJ5+6Cu3jUe6JsuATn16gGwEqW Y8L66FjVtGg3VrZIsHuMLMegUh3ol2zfRPbVbIQKFqCi38frtu6zYNr0IUVPTwbDWhncG226 rvRug42ka+DUdMxMRJ4FsMPMnM7XtH/mjYM4i4GVWHulLxAjlHSvFqe7mzKATLxbsRufqKRb BJoUpSt/CkntrKxghjR+4nfIGfzMZJjvMXO4KUUvcXiabscQL9jvkPbg4QdSWatVjuFFdOyI ZHqZ44EaN3/EHGhVVKjzTkySo2iWbTlZrjNmgzuSYtO5cOD2ys/MMamCjwEMxF5/7hG46hxI woef5A8fBjk8RwkMLCyKxuZ1dPoRHuxLTxRTL9UyuDwNNk1h2I8K+S9znUnVJQzyeK6pFUMS J89hRbb3f+/ZoNaXHu7CjlHdg7IvyZ8i3l5O7N43LIk2B2R+wp5UXjDZKlzZWdDpd15GV6CP SA8FD8jX1HFxYvbvlzwh/ZDpW0F2Y4TiLANsWCi7MOHJmv0B+rz782S6nRFD5BuorUtY9G5Z JLe7NWG2GSYFcWYsxXZAnfiS7wGxZ4IZnofGaYAmHl7a5YP4dMTsBNoBMlif+QdWu5w9tXII XJlFXBAlyZBDtHZhWVQjLvkgOmI0UvAOJUkOxgZvJgQmcMTX2hueCQCqaS/VoLQ0WiZVmwMJ wRV5gNJgWBI3sp5euSviGInZJpNwCRRuPV6Tm3AEZw6rjMTr0mTgFPiT+6mnfDv1gVXnqqEO jgzXhcnUA1azesQkVY0IrZqLaVWppTNrjKDaUL9uiTq1feiI15Sj8bTcg+hZLc=
Ironport-sdr: cm/ZPq/UR9PlgqDg84tQ9E8mnmJAKcKHYs2FdX7F9sEMW0UbC4asf/QjbDKgx2WGKFoa9/3Umz WjstZqcM6jli7lpl7AU+ImphrsARKDHtNNyy64L7rhfMA6sVf5GlgvziokDwk9DatuYVXzdwio RyYGIwQdLjeegfoSf/665D6XfVPaljTxjND4cAwujP2i6Q9ASPSwYRJeUCkoj0U+wuXjqSDK6u sc3lvP9j5YLXyH2I4OISu9iGo/eTFri5lKJT85jAhBqvkLVD1UR8POi+gq/x13bCfayWCadlyA iwe2mNH8XBHHJqkIZcocMfwh
Msip_labels: MSIP_Label_f42aa342-8706-4288-bd11-ebb85995028c_Enabled=True;MSIP_Label_f42aa342-8706-4288-bd11-ebb85995028c_SiteId=72f988bf-86f1-41af-91ab-2d7cd011db47;MSIP_Label_f42aa342-8706-4288-bd11-ebb85995028c_SetDate=2022-03-04T04:21:13.907Z;MSIP_Label_f42aa342-8706-4288-bd11-ebb85995028c_Name=General;MSIP_Label_f42aa342-8706-4288-bd11-ebb85995028c_ContentBits=0;MSIP_Label_f42aa342-8706-4288-bd11-ebb85995028c_Method=Standard;

Friendly reminder that the call for bids to host ITP 2023 closes in 1 week.

Note that we got the date wrong below when saying the deadline is "Friday, March 9, 2022” because March 9 is a Wednesday :) So to be fair, we’ll adjust the deadline to Friday 11th March 2022, i.e. in 1 week.

Thanks,

Leo and June

From: Leonardo de Moura <leonardo AT microsoft.com>
Sent: Wednesday, January 26, 2022 5:00 PM
To: isabelle-users AT cl.cam.ac.uk <isabelle-users AT cl.cam.ac.uk>; coq-club AT inria.fr <coq-club AT inria.fr>; hol-info AT lists.sourceforge.net <hol-info AT lists.sourceforge.net>; mizar-forum AT mizar.uwb.edu.pl <mizar-forum AT mizar.uwb.edu.pl>; acl2 AT utlists.utexas.edu <acl2 AT utlists.utexas.edu>; agda AT lists.chalmers.se <agda AT lists.chalmers.se>; pvs AT csl.sri.com <pvs AT csl.sri.com>; cicm-members AT lists.informatik.uni-erlangen.de <cicm-members AT lists.informatik.uni-erlangen.de>; types-announce AT lists.seas.upenn.edu <types-announce AT lists.seas.upenn.edu>; lean-user AT googlegroups.com <lean-user AT googlegroups.com>
Cc: June Andronick <june.andronick AT proofcraft.systems>
Subject: Call for bids to host ITP 2023

We call for bids to host ITP 2023, the 14th 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. Similar to previous years, we expect bids to propose a date in July, August or September.

Bids should be sent to itp2022 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 follow:

* ITP 2016 in Nancy, France https://members.loria.fr/JCBlanchette/itp2016/bid.html

* ITP 2017 in Brasilia, Brazil https://cic.unb.br/~nalon/itp2017/

* ITP 2019 in Portland, USA http://web.cecs.pdx.edu/~apt/itp2019bid/

The deadline for bids is Friday, March 9, 2022. 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 2023.

Re: [Coq-Club] Call for bids to host ITP 2023, Leonardo de Moura, 03/04/2022