coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: "Donaldson, Alastair F" <alastair.donaldson AT imperial.ac.uk>
- To: "coq-club AT inria.fr" <coq-club AT inria.fr>
- Subject: [Coq-Club] POPL 2024: Final Call for Papers
- Date: Fri, 23 Jun 2023 08:31:08 +0000
- Accept-language: en-GB, en-US
- Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=imperial.ac.uk; dmarc=pass action=none header.from=imperial.ac.uk; dkim=pass header.d=imperial.ac.uk; 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=eIa9wzNFKOZVv98TAZJUZbD65xS16lVAdqJLcRR3m/0=; b=d13R0IknDrUPjZQrYrPKOCQ5AQn7fp00eSfpZ2+jMxBerurALFNBEPw7N7qfxt6s6c+AXW4AYdVIXN5lcWH/kDp8JW/mlRIdbTi46VZd1nXrzsRlfAJW/IVjnqR/17PjkW97PFIYQ4+879VXkkzSgHoZYqeGTq2tJSPzpvEplnY+maEKtq59tNSY59CnL32UsIYzC4ppy7OfCYDeJl/wHzWgAkh+qhir5OElZYmtGyzYkh+dyELeDOaUPP9d08/1Ls5aWDQVL+o1EFkKUGZSCkM9SXzB/pnu42kKkPySHEuhrNkoXCWyxmzfHFiHse1C7DD+jBeoIh/oPnsvOdpg6w==
- Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=djs7Dfu8TquKxTErNeJ5tBJBHEG/JS36QHFF+JrH9keFja2aN5s7fw4eiLlHPQEJIlYP4P9A3UNmx5dqNWVsuSYEGmbEUnT/xSTCXyJRlvE206ja0yknMO8xOZ3QezyJav4K+tvWuTKg379LNlZioXGdEFnKkUce2231voEJQuU3SJBR1nsreVuUc2XT9q1l9jYcR7TEBWy9LbNRRwOsVb7g2AtHKE3Kd4/2BK5fdqUPGGycWBnu1Iw4D0yDSCIxBWENU3LYIb2SL8ZD7Aixzv5fYPlb5tFZa2jhM2noY0NrCmH2P/3ldonJRi/kW9syx8vC/s2ZEufhH5CmluhRpg==
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=alastair.donaldson AT imperial.ac.uk; spf=Pass smtp.mailfrom=alastair.donaldson AT imperial.ac.uk; spf=None smtp.helo=postmaster AT smtphub2.cc.ic.ac.uk
- Ironport-data: A9a23:wJ+bRKl5tA/ZX8T6v7h1cP3o5gy5IkRdPkR7XQ2eYbSJt1+Wr1Gzt xIaW2+CaPaLZGryfdlzPY/ip00P7MeAyNYyGgQ4/CE2EVtH+JHPbTi7BhepbnnKdqUvb2o+s p5AMoGYRCwQZiWBzvt4GuG59RGQ7YnRGvymTrSs1hlZHWdMUD0mhQ9oh9k3i4tphcnRKw6Ws LsemeWGULOe82Ayajt8B56r8ks156ys4mhA5zTSWNgS1LPgvylNZH4gDfrpR5fIatE8NvK3Q e/F0Ia48gvxl/v6Io7Nfh7TKyXmc5aKVeS8oiI+t5uK3nCukhcPPpMTb5LwX6v4ZwKhxLidw P0V3XC5pJxA0qfkwIzxWDEAe81y0DEvFBYq7hFTvOTKp3AqfUcAzN0tEBhnFIIo6918DF5Jr sVDOWsodDW60rfeLLKTEoGAh+w4KdXzPJ4V4DdrxnfYBrAvStbeQM0m5/cBgGl2358fW62EI ZZGAdZsREyojxlnM1MeE443nf3uin75ejlUs1WTjasy+2XJzQV1lrHmdsfWEjCPbZwMwh3C+ DKaogwVBDlKC+eH7haI9UuTucL1nSrmXYUDV6+no6sCbFq7nTBNVERPDzNXu8KRgUmnHtlbN kY84TsrtaF09UqxT9C7UQfQnZKflgUZR8JQDudgrgqGjKvfpQ+SQHUHJtJcVDA4nIwqHG0D2 W+YpNjkOjs0ieaEEleH047B+FteJhMpBWMFYCYFSy4M7N/ivJw/g3rzojBLTPDdYjrdRW6Y/ tyakMQtr+hK0Z9VjM1X6XiC2mj2+vAlWyZvvl2/Y46z0u9uTKGPD7FEBHDA6OpYLJuTFB+Kt z4FkI6X56YTDvlhdRBhos1TTdlFBN7cblUwZGKD+bF9rFxBHFb/J+htDMlWfhsBDyr9UWaBj LXvkQ1Q/oRPG3ChcLV6ZYm8Y+xzk/i/SYm1CKqFN4ceCnSUSONh1Hw/DaJ39z61+HXAbYlla MvznTuEUixAUv48llJauc9NieRwrszB+Y8jbcunkUj+iOD2iI+9S74DPUfGc+Y48q6euwTJ4 p5ZOteVzA9cONASkQGJmbP/2WsidCBhbbiv85I/XrfacmJORjp7Y9ePmuxJRmCQt/8I/gs+1 irhARAwJZuWrSGvFDhmnVg4MOm/B8kh9S1rVcHuVH7xs0UejU+UxP93X/MKkXMProSPFNYkH 6dXSNbKGflVVDXM9hIUaJS3/sQodw2miUjKd2CpaSQ2NcwoDQHY2M7WTi22/gk3Dw2zqZQfp Z+k3VjlWpYtfVlpI/vXT/ON9GmPm0Yhtth8ZGb2B+VCWV7N9dFqIhPhj/VsLMArLw7C9wSg1 A2XIEk5o8/Rr68f99X2pLGgqqGrN+56HG5fMWv/64isFCjF/1iMxZ1Lf/aIcAv8CkL12vSGT sdEw87sNMYomA5xjLN9NLJw34cS1sDKpYIG/j97HX7OUUunOolgLlaCw8NLkK9HnZ1dhiebR WON/YN8FYiSGca4DmMUGhUpXt6D2d4QhDPWy/Y/e2f+xS1v+Yu4QVdgBAaNhANdPYlKHtscm 8l5g/Ev6iu7lhYOGfSFhHoN922zc1oxY59+vZQeWILWmg4nz29ZWqPlCwj03sCrS85NOUwUM DOrlPL8p7BD9HHjLVs3N1bwhNR4u7pflixO/lE4I3axpuHknd4yhR1YziQ2RF9azzJByONCB VJoPExUe4SL+ytjq/ZSVl+CACVEKh+9/HLr6loWlV/2S1ujeXzNIVYcZ8eM3hE92EBNcgdL+ Iq3zD7ebg/rW8Xqzw0OWUJBgN7yf+xbrwHttpiuIJWYIsMcfzHgvJ6LWUMJjBnWWeUKm0zNo LhRztZaMKHUG3YZnPwmNtO8y78VdRGjIV5CS9FH+IciPznVWBO26Ai0B3GBQOF/DN2UzhbgE O1rHNxFaDqm3iXXrjw7O78FE4UpoNEXvug9apHZDk9YlYvHtTd4koPixg6njk8Rftheu8IcK ITQSjG8LlKtlUZkw2/gkc0VFVe7MP8lZRL91t+b6O8mNYwOm8AyfFAQ0ombhWS0Mgxm9i3No zHzRbfn8PN/+LtJgofTCaRnLCe3IOPVS+6n3l2SsdNPTNWXKubIlVofhWfGNjRsH4k6eopIh 5XUl/Cvx2LDnrI9c16Bqqm7D6MTuPmDBrtGAPz4PFxxvHWkWva1xzAh5mrhC5hCsO0F1/mdX wHiNfeBL48Eaex8mk9QRTNVSSsGKqLNaazlmyOxgtKMBjUZ0i3FNNmXzmDoX04Kah43P4DCN SGst8aM/tx4qKF+NC0ADdxiAL56JwbtZ/J3PZm5/zyVFXKhjV6+q6Pv30hooy3CDn6fVt32+ 9TZTxz5bw6/o7zM0MofiYFpoxkLFzxotIHcpK7GFwJe0FhWzVLqLNjx9b0dD41MkjH4jtfzb 3fMZy0rAmPgXlyotPk6DMvLBm+i6i4mY78V5QDFO2uVbj+7HoKJBP1o/WF94B+avxP9mfq/J 4h2FmLYZ3CML1IAeQrXzv2+mep9x/regHsDv13++yA379DyHp1SvEFc8MFxueAr3i0DeIgn5 YT4eIycfHyGdA==
- Ironport-hdrordr: A9a23:EsOj26lK0xa+lt742DC3PGv0uSTpDfOuimdD5ihNYBxZY6Wkfp +V88jzhCWZtN9OYhwdcIi7SdG9qADnhOVICOgqTP+ftWzd0wWVxe5ZnO3fKlHbak7DH41mpO xdmspFeaTN5DFB5K6RgWmF+r0bsby6GdWT9IDjJgBWPGVXgs9bnmVEIzfeMmczYBNJJbdRLu vZ2uN34x6bPVgHZMWyAXcIG8LZocfQqZ7gaRkaQzY69Qinl1qTmfPHOind+i1bfyJEwL8k/2 SAuRf+/L+fv/ayzQKZ/3PP7q5RhMDqxrJ4dYCxY4kuW3rRYzSTFcVcso65zXAISSaUmRUXee z30lkd1gJImjHsly+O0F7QMkLboUwTAjfZuCKlaD3Y0IbErXsBerV8bY41SGqk12Mw+N57y6 5FxGSfqt5eCg7Bhj3045zSWwhtjVfcmwtUrQc/tQ0rbWIlUs4kkaUPuEdOVJsQFiPz744qVO FoEcHH/f5TNVeXdWrQsGVjyMGlGi1bJGbOfmES/siOlzRGlnFwyEUVgMQZg3cb7Zo4D51J/f 7NPKhknKxHCsUWcaV+DuEcRtbfMB26fTvcdGaJZVj3HqAOPHzA75bx/bUu/emvPIcFyZMj8a 6xIm+wdVRCCH4GJff+rKGjqCq9PllVdQ6du/1j2w==
- Ironport-phdr: A9a23:URQxvBMlEr9gVbOSOYol6nYQBBdPi9zP1u491JMrhvp0f7i5+Ny6Z QqDv6gr0AOVFt2Ao9t/yMPo8InYEVQa5piAtH1QOLdtbDQizfssogo7HcSeAlf6JvO5JwYzH cBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1JuPoEYLOksi7ze+/94PTbglSizewbrx/I BqqoQjfq8IbnZZsJqEtxxTGpXdFZ/5Yzn5yK1KJmBb86Maw/Jp9/ClVpvks6c1OX7jkcqohV bBXAygoPG4z5M3wqBnMVhCP6WcGUmUXiRVHHQ7I5wznU5jrsyv6su192DSGPcDzULs5Vyiu4 7ttRRT1jioMKjw3/3zNisFojKxVvg+vpwBxzYDXfI6aO+FzcbnBcd8GX2dNQtpdWzFHD4ihb 4UPFe0BPeNAooXzqVUOqh2+ChOoBOzy0T9IgXn20bUn2Ok9FQHJxhcgH84Uv3TVttX+KaccX e6ox6TP1zrDa+lZ2Szh6IfScxAhu+uAUq93ccrX00YvEx7Kjk6XqYzjJD6V1+ENs3CF4Op6V OKgkWonpxtrrTez3Mssl4rJi5sTx1vZ+ip33Jw7KsekSE5nf9GkCp1QujmUOYV2QM4vQm9mt TokxrEbupO2YCgHxZU6yhDfZPGKb5aF7BLhWeuePTp1gHZodr2iihi98kWs1+zxWMa33VtWq CdOj9fCtncI1xPJ68iHTONw/kem2TaTyw/T8PlELVoomqrcLp4t2qUwlpscsUTbGi/5gkP2g LWRdkU+9eil7fnsbLb+ppKEKoN5hQDzPr4zlsG9Bek0KAYDU3aB9emz1rDv5VP1TbRWgvA4l 6TVrYzWKt4aq6O8DAJZzpov5hOiAzu41NkVmHwKIVJDdRmalYbmIUvOL+r9Dfqng1SjjjNrx /feM736B5XNMmDDkLf8fblm9UJQ0hY8wsxF65JVFr4NOuj8VVPruNzFDR81Kw20w+D5B9Vhz o4SRG2CD66DPK/Ps1KF4vgjLueSaIMPtzvwKeAp5/v0gn84nV8dc7Op3ZwSaH2gBPtmJ1+WY WHwgtgbEGcKpBAyQ/HtiF2ESzFTY2u9X7k75jE9E4+mDILDRpizj7yb3Se0BJlWanpcBV+QC 3voaoaEV+8KaC2JOsBhiCALVaC9S4890hGjrBL2x6J9LuXI4i0YqY7j1N9t6uLPkhEy7CV4A NiZ02GQVG55hXgIRj8z3KBnu0Nx0FaD0a5ig/xZD9Nf/f1JUh1pfaLbmqZxDMm3UQbcdP+IT kynS5OoG3t5Gtk22poFZ1t3M9SklBHKmSSwVew7jbuOUdYY9aTV23TqIMA5g1/C3bI9hlg8C uUFfTmvgqdk6wHSHcjFlEOQk6qxcqI03SvV+X2CxG7ItUoeTQ0mAvaNZmwWekaD9Yex3UjFV bL7UdzPUyNEwM+GcO5Rb8HxyE9BT7HlMcjfZGS4nyGxAwyJz/WCdtmiYH0TiQPaDkVMiAUP5 TCeLwFrDyOouH7XDSYoGVXpakfg6u54gHK+VkIuzgiOKURqkae2qVYOnfLJc/oIxfofvTs57 TB9HVKzxdXTXtOErhF9daRGJ9865l5D2XnesSR8O4StNaFrghgXeEJqvBCmzA15X6NHl8Vit 3Y21ExyJKafhUtGbC+d1IvsN6f/MWzu5BCyYfSQ0VqY0d3Q86xJ9fdQR0zLmgavGwJi9nxm1 4MQyH6A/tDQCwFUV5vtU0Ex/hw8prfAYyB76ZmGnXtrebK5tDPPwbdLTKMs1wqgctFDMaiFC B66EssUANKrIfArnF7hZwwNPeRb/qo5d828cP7O1KmuNedm1DWo6AYPqIl521mQ/itmDOLP2 Z8Bz+qf2COGUi/xllaotob+ksZZZnBaH2ayzzTlGJ8Efrd7LuNpQS+lJ8y6wMk7hoa4AiIGs gf8VhVdgon1Jkn3DRS1xwBb2EUJrGbynCK5y2YxiDQ1tu+F2yeIxe3+dR0BM2oNRW94jF6qL 5Ln6rJSFEWucQUtkwOooEjgwK0O7q17JnLPSEZSOSTxKWhmXrC3sJKDZtZC8pIhtWNeW6KhY hrJL9y16wtfyC7lE2ZEkXoyczixppz4hVp2j2SUKHpoq3zxeMRoyA3e7diaTPUXwzlMF0waw XHHQ1O7Odeu59CdkZzO5/u/W2yWXZpWaSD3zImEuUNX/EVSCAak17C2k9zjS00h1DPjksNtX mPOpQr9ZY/i0+K7N/hmdw9mHg20581/E4B42ow+4fNYkXEej46J9Hsd12v0N9xf1bn5alIMQ CYG2d/c5E7s0wt+LTqFypn4WXOU3sZ6L4DmPCVPhXN7tJoMVPjc5ach/2M9uleiqAPNffVx1 iwQz/cj8j9Sgu0EvhYs0jTIB7kTGUdCOim/3x+M7t24sOBWfDP2Leb2jRUv24v7Su3d8WQ+E D7jd5wvHDF99JB6OVPIijjo7538PcPXZpQVvwGVlBHJi65ULogwn7wEn3kCWyq1sHs7xuo8l REr04u9ud3NImFk576wAwQeOjrzbscf4TbrpadbhsuM3omrWJxqXCgIFsiNL7rgAHcJuPLrO hzbWjQ4o2yHELvFWwOY7k5io2nIFbiqMmmaPngQyZNrT1+AJwYM5WJcFCV/lZk/GAewwcXne 0os/TEd6GnzrR5Uw/5pPR3yAS/P4R2lYTAuRN2DPQJbu0tcslzNP5XUvYcRV2lIu4espwuXJ imHahRUWCsXD1ecCQmrP6Hyt4Ccra7BWbv4f72SOfLU+Ik8H7+J3c79i9o8uW/RaIPWYCMkV 7phigJCRSwrQpiH3WxQGmpMzWSRN4nB9XLesmV2tpztqaWxHluyu83WVeEUaIsooUD+gL/dZ bSZ3C0rdDxTjsFcnS2RkOhNjgJKzHg0KlzPWfwBrXCfFquIkf0KBRVDOXMrZpJFt/BumVcRc c/D1IGv3+Zz3KM/AA8XBQyzw5nwN55Weybkbg6iZg7DNazYd2fCm8qlPKm3Ee8A3LcNukXi6 3HFTwe0NzCH3VEFTjiJNudBxGGeNR1a4sSmdwp1THLkR5TgYwG6N9l+iXs3x6c1jzXELzxUN z80aE5LorCKiEEQyvxiB2xM6GZkJuiYim6Y6effMJMfrfpsBGx9ietb5H0wz7Yd4jtDQbR5n y7br9gmpF/D8KHH0j18TB9HsSpGnqqQuFl6ObjTrN9LUjDF91QE5iONCFVCptdoDMHup7EFy tXLk/GWSn8K+NbV8M0AQsnMfZvbbjx4bkuvQ2SSUFRWKFzjfXvSjEFcjvyIo3icr5xg74Pph IJLULhQElo8CvIdDE1hWt0EOpZ+GD0+wtv5xIYF42SzqB7JSYBUpJfCA7ibBfz0ND+Yl/9IY B0Bxb/jKoI7N4jj1lZjY108lY+MBkmaDrUv6mVxKxQ5pklA6i00Vmoox0fscR+g+lcIEOKsn gM80E11aqIs/3Hl6BEqJRCZwUl42Fl0ktLjjzeLdTf3J6rlRoBaBR3/sE0pO4/6SQJ4BeVXt U1hLDreRrtVybJrM31o2le0UXpnAvtAVa1ZakVWzvrRZv5u2F8atyb1nSevCsPEDINvjgojd dilpDRd2FA6BOM=
- Ironport-sdr: 6495584d_Pz2m63PS97zzc0n5nxfyKMBn0MJRzknC3cxVfuNN7jU3IWb b9GmBczu26HytJUFy7gBsbJV7mfFYarmZ1QWgQg==
- Msip_labels:
Dear all
The POPL 2024 submission site is now live:
and the deadline for submissions is 11 July 2023, Anywhere on Earth.
Please spread the word, and consider submitting your best work! Full details here:
Best wishes
Ally Donaldson and John Wickerson
POPL 2024 Publicity Chairs
- [Coq-Club] POPL 2024: Final Call for Papers, Donaldson, Alastair F, 06/23/2023
Archive powered by MHonArc 2.6.19+.