coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[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: [Coq-Club] Call for bids to host ITP 2023
Date: Thu, 27 Jan 2022 01:00:54 +0000
Accept-language: en-US
Arc-authentication-results: i=1; mx.microsoft.com 1; spf=none; dmarc=none; dkim=none; 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=sOy7xEELj16rdKx2vVUy3tv49+jm5t97g/LhusnkUe8=; b=LVqFtxFzeI4QJmGiK+4634jU1YsWm1e6zIMNV6rt4bYmt4SRVvzhykLDEQPsyfmeoOAYoT62BmjrJGVM0tYjX4FxA6dGMVhPvyNfOIdqogMzsDqRqc4SPKnlu+R0qwNN8IxHxF3oTYN5FEQdlVZkkf49RdlPaGwL7MW09yQmycnkPTzronwLdYuXqjSr9V/r6YiI2vUMAKdIo6nnLPmHGwMKnxkq3YdUQDbu9ETYEyTjj4j6w+Vda6Zqj7Fy3Pt/Pz3D0GxQiCnJZqK7psQpLN1sE5h0CkIU2Ay/LtONKhgdM3tWdSjQguUdtjWt52XYpDfsn5A765RJtOtXA+aIPA==
Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=JkPpjRgg4AylIVHb+t3F38Q/JxHRXeDuxt47eeabZLRY+LhzgjSl4pJcCUqS4FbfEN/NY3qaoD3axkjJrhK+/IkEn5R3FHxmuVVVSSRmTr5GQda77Dgk3hGuJc6ZhOp2KlB8VBWI3U0OimXZ9RLffdjWKSIR2YPU1gkw+KSNPSDLcsU90VCeHjqAqDNCvbJKgiOOU5yaB/IBWW1Mzp/dlm2bmKo2Jk7Y1zvNtDcZL5WD9UQWyZ9bWGiBZKpxiGFpq7H9a+v79MztAzuUPzU0EkN0b5yIK8znlf1PvWySD1TpdYGTpjUbd/BKlvw4XB01Ajqe8vouAlzb+a0tekWqSA==
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:c+WtdqBUpfmnQRVW/0/mw5YqxClBgxIJ4kV8jS/XYbTApGgmhjFRx jNLX2qGOaveNDDzfNtzb9/l9B4EvsWHyNFnOVdlrnsFo1Bi+ZOUX4zBRqvTF3rPdZObFBoPA +E2MISowBUcFyeEzvuVGuG96yE6jMlkf5KkYAL+EnkZqTRMFWFx2XqPp8Zj2tQy2YHjXVvW0 T/Pi5S31GGNi2Yc3l08sPrrRCNH5JwebxtF1rCWTakjUG72zxH5PrpHTU2CByeQrr1vIwKPb 72rIIdVUY/u10xF5tuNyt4Xe6CRK1LYFVDmZnF+A8BOjvXez8A/+v5TCRYSVatYoy2khdpj1 /FqjsatYy4iebWLv9RDfTANRkmSPYUekFPGCX626ZXWyEfLNXzx3/9pEUc6e5UC/fp6Cn1P8 vpeLy0RaheEhKS9x7fTputE255ldZGyet5A/Cs7pd3aJa5OrZTrR6jN49ZC0DAYg8FFB/HFY MQFLzFoaXwsZjUWag5MUM1hzY9EgFHgMA0bsWOWiJATuUyN/lZxi7LwYJ3aL4niqcJ9xR/D/ T2uE37CKhodLZmUzSeP2mm9g/fG2yL9QoMbUrOinsOGm3WWz20XTRALTgGys/6/0xfmAYsHc RdS/Tcyp68v8kDtVsP6QxCzvH+DuFgbRsZUFOo5rgqKz8I4/jp1GEAcYyRLesMCk/RsWBYD3 RiR2PTZWxJG5ej9pW2myp+Yqja7OC4wJGAEZDMZQQZt3+QPsL3fnTqUEIg+S/LdYsndXG6gm G/X9EDSkp1K1ZZTv5hX62wrlN5FSnLhZAkk6hnQWApJBSsjP9/8OOREBbUkhMuswa6cR1iF+ XUZgJKX/ucIVMjVznXVGr5LG6y17fGYNjGamURoA5Qq6zWq/TikYJxU5zZ9YkxuN67omAMFg meP5mu9B7cKZxNGiJObharqUKzGKoC7TrzYugj8NIYmX3SLSCeJ/Tt1eWmb1H33nU4nnMkXY MnHKp/3UCpCUf87l1JaotvxN5d7lkjSIkuDFfjGI+iPiub2iIO9FepZYQbWMrhRAF2s+VuNq o8AXyd19/mveLanOXKImWLiBVULJmI8Hpf4t4RccfSbJRBvBGAmDZfsLUAJKuRYc1Buvr6Qp BmVAxYAoHKm3C2vAVjUNhhLNe2+Nb4i/SNTFXF9Zj6AhilzCbtDGY9EKvMfZ6c8zuV/wJZcF r9dEyl2Kq8TEWuvFvV0RcWVkbGOgzzy1VvRZHL0OWZmF3OiLiSQkuLZksLU3HFmJkKKWQEW+ tVMDyvXHsgOQRpMFsHTZK79xl+9pyFGyudzVFHPOd5dZAPn940zc379ifo+IsctLxTfx2XFj F/LX0dA/eSd8ZUo9NTphLyfq9v7GeVJGEcHTXLQ6qy7NHWH82f6md1AXe+EcCrzTmTx/Kn+N +xZw+ula68CnV1QtJF7HaotxqU7voO9q7hfxwViPXPKc1X1Veg5fyfWhZFC7/QfyKVYtA26X lO01uNbYbjZatn4FFMxJRY+arjR3/8jnDSPv+8+J1/35XMq8beKDRdSMh2LhHAPJbd5Kt99k +Eo4JdT7AayzB03LtyBkyZYsXyWKWANWLkmsZdcB5L3jg0syRdJZpmFUn3655SGatNtNEg2I 2DL2/OS3egEnkeSIWAuEXXt3PZGgctctR1PymgELQvbl9fAgMgxwxAMoy88SR5Yz0kc3u8va HJnMVZ5efeH8zty2ZMRWmmtH0RMGQbD8172zQJQzDeAFxPzEGvQMGc6JOCBulgD9H5RdSRa+ 7fez3v5VTHtf4f62S5rARxprPnqTNpQ8AzemZ/4QJ3VRcViOTe10LWzYWcoqgf8BZxjiUDCo 95s9rkiZKD+MxkWvKBmWZKR0q4dSUzfKWFPKR27EHjlwY0BlPCONTmyx4SZfMoVfrnN+0L+D NFyLMVSURj4zDyJsj0QGa8LJflzgeIt490BPLjsIAbqdpOB+yFxvsu4GjfW3QcWrxdGyK7R6 b89sxqHE2eKgmBTlXOLp85BUoZ9ScdRfxXyhYhZ781Qf6/uc4hQnYUa17q/pXKONwV7uRmTu WsvokMQI/NKkexRomcnLkmP68hY5z8+uCRkPT1fa+hzUO4=
Ironport-hdrordr: A9a23:Jgq336g9YUJJN/wCBTKfkbtKAnBQX2513DAbv31ZSRFFG/FwyP rCoB1L73XJYWgqM03IwerwQ5VpQRvnhP1ICPoqTM2ftWjdySeVxeRZgbcKrAeQfBEWmtQ96U 4kSdkHNDSSNyk0sS+Z2njfLz9I+rDun86VbKXlvg5QpGpRGsNdBnJCe2Km+zpNNWx77PQCdK a0145inX6NaH4XZsO0Cj0uRO7YveDGk5rgfFovGwMnwBPmt0Lo1JfKVzyjmjsOWTJGxrkvtU LflRbi26mlu/anjjfBym7o6YhMkteJ8KoCOCXMsLlXFtzfsHfsWG1TYczHgNnzmpDp1L8eqq iPn/7nBbU015qeRBDtnfKn4Xic7N9n0Q6f9bbfuwqsnSWxfkNFNyJM6LgpDSfx+g4uuspx37 lM2H/cv51LDQnYlCC4/NTQUQp2/3DE6kbKvNRjxkC3a7FuIIO5bLZviX99AdMFBmb3+YonGO 5hAIXV4+tXa0qTazTcsnN0yNKhU3wvFlPeK3Jy9/C9wnxThjR03kEYzMsQkjMJ8488UYBN46 DBPr5znL9DQ8cKZeZ2BfsHQ8GwFmvRKCi8el66MBDiDuUKKnjNo5n47PE84/yrYoUByN8olJ HIQDpjxBgPkw6EM7z94HSKyGG7fIyQZ0Wc9ihu3ekMhlSnfsubDcSqciFcr/ed
Ironport-phdr: A9a23:RipcdhdB3iw0UuJCcINvCLUrlGM+jtDLVj580XLHo4xHfqnrxZn+J kuXvawr0AWTG96CoKsd16KW6/mmBTZZp87Z8TgrS99lb1c9k8IYnggtUoauKHbQC7rUVRE8B 9lIT1R//nu2YgB/Ecf6YEDO8DXptWZBUhrwOhBoKevrB4Xck9q41/yo+53Ufg5EmCexbal9I RmoswndrMcbjZZtJqos1xfErWZDd+BKyW91P16ekAjw6tqq8JJ/7yhcvu8q+tJdX6n9Y6k2V 6FTAi48M2Ay6s3rtB3DQhWK63ABTGgYkQdGDhbc4h3iUZj/riX1tuxm2CmHJsL2Vqw7WS6j7 6hwVhDljjoMOiMj/2HWjsxwi79boA6kqhdizYPYfJ2ZOfxjda7GY9gUWXROUdpQVyxZA4Ozc Y0PD/YaPe1Fq4XxvkYCoQeiCQWpAu7k1z1GiWLs3aAi0+ovDxzI3BAuEdwNvnTbrsn6O6gJX O+v0KXE0S/OY+9K1Tr97oXDbxAvoeuLXbJ1acffz1cgFwTDjlqKs4zqIjSV3fkQvGeF8uFuU uWvi3M9qw5rvzOiwcMshZfOhoIT0F/E7zh2wIEuKN29SU50fcSkEJxLtyGdOYt2XtkuTH1vu CY/07ALv4OwcycWxpo93RHfd+CHfJaS4hLlTOucITh1inJ7db+whxi/81StxvHiWsS70VtHs ypIn8TNu34NyxHe99SKR+dy80qixTuC1B3e5vxYLE40laTWKZ0sz7gtnZQdtkTDGzX5mETwj KKOckUk/fKo6+X9bbn8qJ+cLZd4igbjMqQynsy/BuM4MgsUU2eH/uS80aXv/VD/QLpRlPE5i bPZvIjCJcsGqa+1GRFa3Zs+6xu5Ejyo08wYkGEHIV5bYh6LkpTlN0zULP34D/qzmUqgnTlzy /zYP7DtHpvAI33enLv9Zrlw6ktRxQQvwd1R4p9YF7EMLO72V0L0qtDUEhk0OBGuzen9EtVyz IYeVHqPAqCHNKPStkeF5uQ1LOWQeYMZoTH9JOM76PL0in85hEMdcrKu3ZsKbnC3A+5qI12DY XrrntcOD3sFvhY/TOztjl2OSzlTZ2uuX6I44TE7D4GmAZ3fSYCqhbyNxCa7HptIaWBaEl2BE Wnke5+ZV/sQdS6eOM9snz4eWbS/RYItzRSuuxX7y7pjIOrU4CoYtZf72dhx+eLTkhcy+iZuD 8uA1GGAVGR0nmIUSD8s26B/ukt9ylmf0aRin/NYEtlT6+tTUggmLZ7c0/B6C9fqVw3dedeJU U+qTcmiATEsVd082MQOYkZ4G9W6lB/PxSuqA7kPl7yKHpM46Kzc32Kib/p6njzHz6Argl0iT 45SLmC8nYZ0807YDouPmk7fiqXgPfAdxyfH+WOHwC+Tp0xCSyZ7VePOVHVZb0CQsNevoguIR Li3TL8jLwFpyMiYK6IMZMejxQFNQ+6mM9DDaUqwnX2xDFCG3OXIJMDqfGFY3SPTD2AAkhsP5 jCdMhUkDSqvpHjRAXpoGE6lKxfs9u07qXW1SWcwzhqWdAt60Kev8RMbguaTRrUV065S/G9rr jRmFUz40dXMFt+oogtzdb8afMw3plpLyCTBs0Y1apmhPal4w1AZaRlyl0bvxRxtTJhfm44no G5s1A4kberS2VhFLRuFwZTxIaHMbHTu8QCmcOjb1kyUmIKf8aNVwOkkr1T4oBrvC1Yv43x8l dRZzi3Yrt/DAwYbeZbwSVossRN6rrXfbzMmoZjZnzU4OKa4uxfG2sk1H60uyh+ketpFK+WfG Vm2W4cCGdOGI/cu3UOzb1QPO+UYvPosIdiOfOCCnrWxPaBrmzfwySwN64F21weJ+i92R/TT9 5IE2O2DmAqBWTDmiV69s8OxhIZFIDwIGmO5xiXiQoJcLOUmdocADCKrLsi9y89lr5rsQGJDs l+lCVQc3ca1eBnUclr8mABK0U0RrnGh3ye1mXg82S04tqeEmSXIxeP/chEKEmpKX3V5y0zhK JPyksgXWk7uYgQ03lPx+VfiyrMeraJ5KHTVSkpgeyntM3okSaa5rfyfe8NJ7tUlvTgBFKz2Z V2TTPvguBYA+yzkGGRayT8hcCyyodPymBkwwDaZIX916WfCdNtYyhDY69jRSuRWwyIdAiJ/j G+EKEK7OoyN8NKSno3PtaiyWiqEUYBJeGG/yY6HsiKh6WpCBBy0hfeondP7VwM91HmohJFRS SzUoUOkMcHQ3KOgPLciJxEwbLedw89zG4Uk15A1mIlVw38RwJOc4XsAl273d9Rdw6P3KnQXF nYQ29CAxg/j1QV4K26RgZrjXyCZz8xnbsO2ZUsT2ykn6NtNBrvS57tBzmNuulTtlQvKerBmm ysFj/4n6XoUmeYM7Q4gySOUGLwVNUxZNjbrjBOG85a1q6AELH23f+2I3VFl1cukEKnEogxYX yPhfYw+GCZr8shlGFTFiCS27YvpPt7NcdgUqxuY1Q/aiPRYI44wkfxMgjd7PWX6vjsuzOtTY QVG+5a8scDHLmxs+Pj8GRtELnjvYMhV/DjxjKFYl8LQ3oa1H5wnFC9ZFJ3vBemlFj4fr5GFf 06HDSE8p3GHGLHeAR7X6UFoqGjKGoyqMHffLWcQzNFrTh2QbEJFhwVcUDI/l58/Xgekoa6pO EN04TYY/FL/gh5NwfhvLB7xTiHUowLpIjY4RZ6DLQZHuxlY7hSdOsif4+RvWiBAq8D76lXVc yrGOEISVjJsOATMHV3oM7iw6MOV9uGZArD7NP7SefCUrucYUf6UxJWp248g/jCWN8zJMGMxa p9zkkdFQ319HNzU3jsVTClC3SbAaMiSvhu70ih2pdq46/PlRETk4o7FWN4weZ1/vgu7h6uOL bvagCt+Lz9C2pQkwH7D0r8E21AOzSppcnP+dNZI/T6IR6XWlKhNChcdYC4mL8pE4ZU32QxVM NLagNf4vlJhpsY8EEwNFVnom8XzINcPP3n4LlTMQkCCKLWBIzTPhcDxe6K1D7NK3q1YsBi5u DDTFEGGXHzLkzTuURm1PeZkiSCQJhtFv4+hNB1qDCDvQcnnZRuyLNJsxWBsh+Rs3zWXaihGa nB1aAtVo6eV7D9Ej/kaeSQJ9XdjIeSe2m6Y4+TeNpcKoK5uCyVwmfhd5SdywL9U4SdYAf1tz XaI6Ic2+hf7za/VkWkCMlIGsDtAiYOVsF83PKzY8sMFQnPY5FcX6m7WDR0WptxjA9mpuqZKy 9GJmrigTVUKu9/S48YYANDZbcydN390ex7kHzjdFgcCZTuqPnvYnEtTjLeZ8Xjf/f1Y4tD83 YEDTLNWTgl/Ev4dDE1/ENsqJZZ8RDQ/lrCHysUP4DDtyXuZDNUftZfBWPWIBPzpIzvMlrhIa SwDxrbgJJgSPIn2iARyL0N3l4PQFw/MTMhA92d/OxQsrhwHox0cBiUjnljoYQS37DoPGO6oy 1Qo3xBmb71l9S+wsQtvYAuQ4nN2yA5oxJ3kmWzDLGa3df/vG9kQU22t6S1Tetv6W1onMFf0x BQ8cm+CH/UI0/NhbTw50VeA/8cQX6YaFeodP1cR3a/FPfxwiAYF83z1yxMfvbmXTscy8WliO Z+08SAa0lo6PodsfP7eePISnAoX2vLGvymj0v09zV0FP0gBtnuIfzIFs1AJMb9gIDe0+utr6 kqJnD4mGiBEEvMuprgCGloVA+2b1Gqg1rdCLhr0LOmDN+aDvGOGk8eUQ1Q230dOlk9f/LEw3 91xO0aTUkkuyvOWGXFrfYLaLhpJasNJ6HXJVSCH6byIxph4eYKgCurvUOmC8r4OhV6pFxooG IJK6dkdGp6r0wfTKsKCTvZNxRg25QvtLUmIF7wUIlTSyG5B/p75lsQ/1JIVPjwHBGRhLSi7r q3aoAMnmrvLXds7ZGsbQppRNn8yX57f+WYRtHBBAT+rl+MBnVXYqWak/2KNU3+mNIkGBr/cf x5nBdCo9C9q9qG3jQSS6ZDCPyTgMt8kvNbT6OQcrpLBCvVOTLA7vV2P/usQD3GsTWPLFsa4Y pbqbIx5J9j5DXCzSFC4ozc0RN32J9GjMu6DhgSiFuM2+MGLmSsuM8OwDGRUAxBru+QK/75xf yUFasJiJBniukI5KrC1Jxqe3pO2WWGxJDBKTv5Zi+Kne7hQyClqZei/gihFLNly36y89kgDQ 4sPhxfVyKO4ZoVQZiP0H2RUZwTFoSdq33gkLOs5xf0zhQ/ZqVRJeS7eb/RnMSYX2rN0TUPXO 3h9DXA0AkORnZaWqBD5xKgcpmNch4oGjbUD4SK45tmHJ2vxEK2z9ceJ62x5NYdg++spdtW9R 6nO/JLGwm6CFt+J6lXDCGjiUKMG0tlIfHABGKUOxT5jYYpe/tMeoUspCJVkLuQWWvB1/+KkN WI8X3xVkX98NcvI3SRc0L21g+KIz07JIpp+aEdW4tIe0pMcVSVyfy8T9rS7WYmQj3WDVmUAP AYU60JL+R4EkYhzOOvi5e+qBNcJwjpS6ZqcswPNH8ExslzxRyeRnETyT+inn6qxxwVOwfnw0 94dHhliFUxawOUQnUwteugfw0w4u4/BqDiTck3m+mnqzbn+TLG+4cjVfEf/F43LqSz3VShOo BUp
Ironport-sdr: wyPxOVlLFbsVkQgwD7RQnzn78cGOEFbyKqaHbufvnfmaRZiFHZ606RdgW9Vzr82aiBJ9iM+dlz AGi2j7Wfq5QbN3zzG0/ZIxAJmwbSes5UCcLSqlGnNx0n/J86cG8DwyO5nmVxrKdG1l1HPNu5xJ TELOdfcTX45R17UHwfrGdaw5UeOAYQJG4yynlII+dioSkZIAvTPFW9wUuWPAwXMhyWNueOz/Bq RSLQ3bMMcRNjPPy0Mue4BIOUvcdjNKLF00fBHUe9PpaexdIuPg5vQroGoaSm6IN720PQAmOMG2 DIMWYT43SYrFHAdeyxETaFtt
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-01-27T01:00:54.077Z;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;

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.

[Coq-Club] Call for bids to host ITP 2023, Leonardo de Moura, 01/27/2022