coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Caleb Stanford <cdstanford AT ucdavis.edu>
- To: "coq-club AT inria.fr" <coq-club AT inria.fr>
- Cc: Leonidas Lampropoulos <leonidas AT umd.edu>, Caleb Stanford <cdstanford AT ucdavis.edu>
- Subject: [Coq-Club] Seeking nominations: POPL 2024 Artifact Evaluation Committee
- Date: Fri, 14 Jul 2023 20:01:09 +0000
- Accept-language: en-US
- Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=ucdavis.edu; dmarc=pass action=none header.from=ucdavis.edu; dkim=pass header.d=ucdavis.edu; 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=O8ktlLnmTUePFVLsJ+i9c/GQv+Yrf23L8TXemim0RZg=; b=OVbRMiNt1dXT1uW5iYD/0wTYa8dYYkelFBHpT8Md7IySHY1qvG2iGe2cmh1foLuj/hBSOP4/cSK3UtQbaF+gjElBXzzbw+8HjhyWuPkRmqYc+zvW5fdJUdtdlCbBDxZxXD/3wy8M7rj5cjfuQcI7iG5zPhSXiSXwfry9LZtEbV3eBS5reujnUVaV3KPII2xtGjN7X6tHNtAz2G5ewfkMuOev6TgbMf1juW6UIVTMvzvhN1wNrfvIMLG9kx0XKpHNyJttOJXBvcUXXTUTEk9n88hipRVRJbu7eqMpW1SMr+Pxpp+Iy2G6cde7z5o1Q20kkKit8ZlxPejgCNs2ucbsLA==
- Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=LDDyBQR6vTPACWs6KRbUcmdA9r8O6bedb5SvrIfWiDfHvyOEFv4KO+sufEPUkXc46CvZ4JsS4updat94a3E4mhK9+/iVPpLuhnOGDQODEadzKhTRcM86srHm6//b+BQ1dDaQ0Xm6Ufihz5O7b7psmPEIGoKT6zSksJhk2Rm1xGm4hgDv6VTctSkCtV4GiYgr+QT42oMdnDoPbuBcCF1Xg9mX/orUDLAEQL8NojRDYlcEtv64pU0mbs0S3E6mxbRBZMOrI/1V8tq0rAGgwy8trwuItwKXiz8ola8EKiIsBPMP/fo0oskrW3O9jm45vMojraUqhF5aLKnA9wimcjgAFQ==
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=cdstanford AT ucdavis.edu; spf=Pass smtp.mailfrom=cdstanford AT ucdavis.edu; spf=Pass smtp.helo=postmaster AT NAM02-SN1-obe.outbound.protection.outlook.com
- Ironport-data: A9a23:z7ztN6wM0eP6bzolAL96t+dszSrEfRIJ4+MujC+fZmUNrF6WrkUFy jRNDz+PPvyKYmr8Kd9xbN/g9E9UsMLRmNNhQVA+rVhgHilAwSbnLYTAfx2oZ0t+DeWaERk5t 51GAjXkBJppJpMJjk71atANlVEliefSAOCU5NfsYkhZXRVjRDoqlSVtkus4hp8AqdWiCmthg /uryyHkEAHjg2cc3l48sfrZ80sw5aiq4lv0g3RnDRx1lA+G/5UqJMlHTU2BByOQapVZGOe8W 9HCwNmRlo8O10pF5nuNy94XQ2VSKlLgFVDmZkl+B8BOtiN/Shkaic7XAhazhXB/0F1ll/gpo DlEWAfZpQ0BZsUgk8xFO/VU/r0X0QSrN9YrLFDm2fF/wXEqfFPw2MRzUFgRAbZAoNlJAkFC0 OQfMiokO0Xra+KemNpXS8FKr+F7dozQGtpavXttizbEEfwhXJbPBb3Q4sNV1ysxgcYIGuvCY 80eanxkaxGojx9nZg9RUcph2rb2wCSmG9FbgAr9Sa4f6GTI0AV33r/3PPLIcdCDW8RO2EuUu woq+kynW01Aa4DDklJp9Fr3o/TdnSTdc7s9BbKp0+U1gl6o/mgqXUh+uVyT+qDi0RbnAbqzM Xc88S036KM26UaDVcj4RxT+oXievxdaVcA4LgEhwASEy66R+ADAAGEBFmRGboZ+6ZZwQiE23 FiUmd+vHSZorLCeVXOa8PGTsC+2Pi8Wa2QFYEfoUDfp/fH/u7Au0gvocu07SpGLjf35PCn32 Sqj+X1Wa6ooseYH0KCy/Fbiij2qp4TUQgNd2ukxdjL0hu+eTN70D7FE+WQ3/t4afdrDFAbpU Gws3pnOsLFUU/lhgQTXGI0w8KeVC+Fp2dE2qWVmGdEI8Siq/X+kFWy7yG4ufhc5WirolMOAX aM+kQZY5ZsWJ33za6ZyO9i2DZ5ykPGmEsn5XPfJaNYIeoJ2aAKM4CBpYwiXwnzpl08v16o4P P93kPpA715FVMyLLxLvFo/xNIPHIAhilQs/orinnnyaPUK2PiL9dFv8GALmghoFxK2Fuh7J1 N1UKtGHzR5SOMWnPHmGqtNCcQtSfSVgbXwTlyCxXr/bSuaBMDB5Y8I9PZt7IOSJYowJyb+Wp i3hBSe0NnKm2SWcdVziho9fhEPHBs8k9ipiZ0TAzH6t2nM5Zp2o4rtXfokqZ7RPyQCQ5a8cc hXxQO3ZWq4nYm2fpVw1NMChxKQ8LkjDrVzVZUKNPmNgF6OMsiSSp7cIiCO0qHJRZsd23ONiy 4CdOvTzG8RcGl4/U5aNMppCDTqZ5BAgpQ67ZGOQSvE7Rakm2NICx/XZ36VtcfIfYw7O3CWb3 AuwCBIV77uF6Yws/dWDwejOo461GqEsVgBXDkvK34aQbCP6x2uExZMfceCqeTuGanj41p//b spoztb9EsY9onB0j6RGHY1G95kOv+nUm+cCzyBPPmn6UFCwO7YxfliExZZus4NO9J94uCy3e Bu+oONaNbCNKufgLl0dHys+T+G5zfpPsCLj3fc0B0Tb5SFM47uMV3tJDSSMkCBwKLhUMpsv5 OUc5P4t9A20jyQ1Pua8jix783qGKloCWf4Fsq42LZDKiA1x7H1/er3ZVzHL5a+QZ+V2MkUFJ iGegIzAje9+wmvAa38CKmjf79FChJghuAF483FaHg6nwuH6v/4Q2AFd1R8VTQ4PlxVO7L9VC 1hRbkZwIf2DwidsiM19RFuTIgBmBiPI3mzqylAMqn/VcFnwaEzJM18GGLis+GI3zjtiWwZ1r Z+kzFTrazLIRP3K/zATXBdlosPzTNYq+QzlntumLvu/HJI7QGTEhJGsV0Um8RLXJN4Du3eeh Oh1/dRfbb/wGj4QrpYaVaib9+U0YzKVKFNSRcpO+PsyIljdXzWpyB6yK0yVUeFcFczgqEOXJ ZRnGZNSak6Yyi2LkAE+OYcNBL1FxNgS+9sIf+LQF14s6rewgGJgj8PNy3LYmmQuftRJlPQ9I KP3cxapMDSZpVlQql/3gPh0AEiKSvhaW1Skx8GwyvsDKLwbuuI1cU0S7Kq9j0/IDCRZpSCrr CHxTI6I6dw60ol9vZreIoMaDSWOFN7DfuCp8geyjtdwUe3yIfr+7wM7lnS3PiB9H6cgZNBsp LHc7P/1xBzkuZg1YUD4mr6ANY5w2J2teesODv71AWVQxwmGfMq9uhcs2X60FsFKtNV398P8f Q+JM/Gof4RJRt0G+iVfRHlAGgdACa6tNqbEjgG+psSqFRIy/1HmLtSm1HmxdkBdVHYCFKPfA z/OmcSFx45nvqFTIiQbFtdaDIRdIlS+fYcHK/io7SK5CEusiXO84orSrwIqs2z3OyPVAfTE7 oLgbTmgUQa5p4Xj7sxT6q52tT0pVEdNu/E6JB8hyoQnmgKBLTA0KMoGOs87EbBSqCv50a/4a BzrbGcPDSbcXyxOQS7j4ebMDxuuOegTBujXfjAZ3VuYSyOTNrOyBLFM8iRB4XAvdAW6navjY Zsb92brNxe8/oBxSKxBrraniONg3bXBymhO5Un5lNfoDg0DBakRkkZsBxdJSTeNBvSleJ8n/ oTpbTssrICHpU/N/QJIXVdwQEtchxW2ijIiYGGI3crVvJidwKtY0vrjNurv07oFKsMXOLoJQ nCxTGyIi4xT8mJGorMn4rrFnoctYc9n3ODjREMgeeHWt7y75m05PthEkCYSJC3n0BAKCEvTz 1FA/FBnbHlo6yltNHm+1A4F8oxwSTQBAyyhYMsTY9PZuURR8uU1sCRGAO42xV8cZkQjU4hlr O8uUXus
- Ironport-hdrordr: A9a23:OASxhaFmVtVe4nIipLqFfZHXdLJyesId70hD6qkvc3Fom52j/f xGws5x6fatskdpZJkh8erwW5VoMkmsjaKdgLNhdItKOTOLhILGFvAE0WKP+Vzd8k7Fh6ZgPM VbAs5D4bTLZDAU4/oSizPIcerIteP3lJxA8t2uqkuFIzsLV4hQqyNCTiqLGEx/QwdLQbAjEo CH28ZBrz28PVwKc8WSHBA+LqL+juyOsKijTQ8NBhYh5gXLpyiv8qTGHx+R2Qpbey9TwI0l7X POn2XCl+ieWrCAu1PhPl3ontprcejau5p+7Qu3+4gowwDX+0mVjUJaKv6/VX4O0aOSAR0R4a LxSl8bTr5OAjXqDyqISFLWqnXdODpC0Q6e9XaIxXTkusD3XzQ8Fo5Igp9YaALQ7w46sMh7y7 8j5RPsi3N7N2KzoM3G3am8azh60k6v5XYym+8aiHJSFYMYdb9KtIQauEdYCo0JEi724J0uVL AGNrCr2N9GNVeBK3zJtGhmx9KhGnw1AxedW0AH/siYySJfknx1x1YRgMYfgnAD/pQgTIQs3Z WyDo140LVVCsMGZ6N0A+kMBcOxF2zWWBrJdHmfJFz2fZt3SE4la6SHkIndyNvaCaDglqFC56 gpeGkoy1IPRw==
- Ironport-phdr: A9a23:RMBESh33AOW4MkSasmDOGwsyDhhOgF0UFjAc5pdvsb9SaKPrp82kY BaBo64zxwaVB83y0LFts6LuqafuWGgNs96qkUspV9hybSIDktgchAc6AcSIWgXRJf/uaDEmT owZDAc2t360PlJIF8ngelbcvmO97SIIGhX4KAF5Ovn5FpTdgsip1u2+4ZPebgRHiDagbr5+M gi9oBnMuMURnYZsMLs6xAHTontPdeRWxGdoKkyWkh3h+Mq+/4Nt/jpJtf45+MFOTav1f6IjT bxFFzsmKHw65NfqtRbYUwSC4GYXX3gMnRpJBwjF6wz6Xov0vyDnuOdxxDWWMMvrRr0vRz+s8 7lkRwPpiCcfNj427mfXitBrjKlGpB6tvgFzz5LIbI2QMvdxeb7Tfc4BRWpZQMleSzBBDI27b 4sKFeUBPOBYpJT5q1YBqRayAA+hD/7txDBVnH/7xa003fo/HA/bwAwuEdEAv2jbo9juLqgeT fy5wbPUwTnfcv9b3yr25ojSchAmpPGBRax9ftDVyUYxDAzOk0ieqZD/MDOT2OQNtHKb4Pd9X u+ol2EothpxoiS1yccqhInJgZgVxU3f+CVk3Ik6OMe3SFB6Yd6/CpdfqTyVN5ZvT84kXmpnt zo0xKcctp6nYCgF1o4nxxjHZvGZbYWE/x3tWeaSLDtmin9oZKyziha9/EW9yuDyWNS53lZXo idBjtTBqH8A2hjc5MSaRfVw/lqt1zmL2g3N6+xJJ10/m6TcK54k2LEwl5wTvFzNHi/xgkX2i bSWel8r+uis9evreq7mpp6TN49sjgHxKKIulta4AeQiPQgCR3KU+f6g1L3i8032WqlFjuEvn qbHrpDVP8AbqrS+Aw9P3YYu7Qu0ATS+0NkAknQLMEhJdA+bg4XrIV3DJPH1Ae2/jlixiDtn2 fHLMqHvD5jIM3TPjKzucLd45kNY1QY/0dVS6pZJBrwEJf//RFH9udrFBREjKQO02fzoCNBl2 4MeR22PBqiZPbvKv1KU4ewjP/eAaJYItjjlNvQp/vnugmQnllMHeqmpwIcXZ2u/HvR7JUWWf GDggs8bEWcNogoxUvDliEGDUT5UYXa+RaU85iwnCIKiCofDQYOtjKad0ye8G51afmFGClaSH nf0b4iJVOsAZDiPLsN9kDEIT7ysRo472RyuqQP2079nIfDV+i0cu5Ljzt915+jLmB4u6DN0F Nid3HuLT2F6mWMIXSI50btioUNh11iMy7Z4g/1DFdBJ+fxGTxo6OYbaz+NhE9/yQB7Ofs+VS Fa6RdWrGSw9Qsorw9ASe0Z9B8mijhfb0iW2BL8VjqWHC4Aw8qLBxHf8PN19ynbD1Kk5lVYqW MpPNWu8hq5+7QffHYDJk1/K35qtIO4X2zeI/2Oex0KPultZWUh+S++NCXsYfw7dqcnzzkLEV b6nT7o9ZFhv08mHf4BDbtDjxW5aTfHtP87SKza6l3ysDBCGwamARJfhd2wD3T6bBUQZxVNAt U2aPBQzU3/y61nVCyZjQBeyOisEkMF7oXK/FQovyh2SKlZmz/yz8wIUgvqVT7US2KgFsWEvs WY8B06zivTRDdfIvA99ZONEe9po61tcyWvfuQtnMrS9JKxrmF8FNQl7ohCmzA15X71JitNit 3Y21Ex3IKOc3klGcmaT0YvsM7vZLXP+1A2kZ6fI20qY3dqLqe8U8Pptk1z4p0myE1Y6tXVq1 94Ay3yH+pDDFxYfS7rXe2NvrV1BgeifZSMwoYTJyXdrLK+49CfY3M4kD/ckzRDmeMpDNKSDF 0n5FMhy69GGDusslhDpaxsFOLsX76soJ4a9cOPA3qe3PeFmlTbgjGJd4Yk73Fjevyx7AvXF2 ZoI2ZT6lkOOSiv8gVG9s8v2hZEMZDccGXC6wDTlA4gZb7N7fIICA2Oja8OtwdA2i5noUn9ev FmtYjFOkMSlYgabaVL6xwF4yE8bqGKmgm21wyE12zAlo6yD3TDflvz4fUlPMWpKSW9+yFb0d NTsyYlCAw75MU50zUjAhw6y3aVQqaVhInOGRE5Je3OzNGR+Su6rsaLEZcdT6ZQuuCERUeKmY FncRKSuxnlSmy7lAWZawyg2Mj+wvZCs1Rd2k36UKnh0tnbxZMp8zAne/5rRSeMbjV9kDGFoz CLaAFSxJYzj9tmPi57FvOekW0q8XZFabyjwi46MqWHogA8iSQ36lPe1lNr9FAE82iKuzNhmW xLDqxPka5Xq3aC3WQ5+VnFhH0S0q89zG4Ul15A1mIlVwn8CwJOc4XsAl273d9Rdw6P3KnQXF 3YHxNvc4Q6t30MGTDrBzI7iSnybzMx7a/GnaW8fxCMmqc1GFe+Y4adFki18vlej5V6JJ6Elw XFMl71zsTYTmKkRtRAozzmBD7x3fwEQJiHqmxmSrpi/oKhReGezYO213Ut6k8qmCeLKqQVdV XDlP5Y6SHMoqJwnbxSdjjuus9KBGpGYd98YuxyKng2ViuFULMl0jf8WnW98Pnq7u3Q5yuk9h Bgo3JegvYHBJX8+mcDxShNeKDDxYNsevz/3iqML1M2axJymGJtmADkjQZDkROypC3QfuemtZ GPsWHUs72yWH7bSB1rV40t9s3vJHZexO1mKL3UQ09R5AhSROQYM5WJcFCV/lZk/GAewwcXne 0os/TEd6GnzrR5Uw/5pPR3yAS/P4R2lYTAuRN2DPQJbu0tcslzNP5XUvYcRV2lIu4espwuXJ imHahRUWCsXD1ecCQmrP6Hyt4Ceoq7CXbX4d72WJuzQ4e1GC6XRmMjpjdogp3DUcZzRWxsqR /wjhhgaByA/Qp6B3W1JE2tOyWrMd5LJ/0r6o3wu6Jj5qLOyBkru/dfdV+MUYI8po1buxv7eU ozYzCdhdWQEjtVVnSCOkP5HmwdMwyB2K2vwS/JZ7XaLFOSI3fYLRx8DN3EtaI0StPl6h1cVf 5ac04KQtPYwj+ZrWQ1MDQWzw5jwN8JWeznvZhSbVA6KLOrUfzSTmpOuOPruR+EI17cG8EHh3 FTTW077YmbZzWKvDk7yd7gV3GfDe0YF8IClLkQ3UzOlFYy7LEThaJkvymdtibws2iGXaShGb WA6Ih0L9vrJvEY6yr1+AzATtCEjd7Tf3X/Gv6+BcN4Xqac5W3Qp0bsCvzJgkOETtGYeHrR0g HeA9Ic05Qj6zK/Wm2AhCF0X+lMpzMqKpRkwY/yCsMIaHy+erFRVqjzAQxUS+4k6VZu04eYJm 4KJzOWqeX9D646GrJdaXpSPbpvZdiJma0OMenacDRNZH2/7czCAwRYBwLfKsSfM5pki9sq1x dxUEucdDgVzS6tSC1w5ToVfZs0vBnV4zfjB0J5thzL2rQGNFpwE5taeEKzIR6y+cn6Yi7JAe hcFk6jgI91VK4b30lJjcR93kJmCDUPUWZolTjRJVgYvuw0N9XF/SjZ2wEf5cka252dVE/eon xkwgw84YOI39T6q7U1lblbNoSIxlgE2l7CHyXiJdyXtKa6rQYxMIwzdkhBrd6jdGkNyZwD0m lF4PjDZQb4Xl6FnaW1glA7bv91IBOJYSqpHJhQXwJT1L70k3E9dpSOu2UJcrbedT8I6y017L 9jx9jpJwEp7YcQwJLDMKaYB1VVWiq+U/2ep2u033A4CNhMN/WeVK0tq8AQDMrgrITbt//Q5t VTEwmMcPjlSEadz8ZcIvgsnNu+NzjztyetGI0G1bKmEKr+B/nPHjYiOS08x0UUBkw9E+6J32 IEtaRnxNQhnwb2PGhAOLceHJxtSap8Y/3TIYS+Iv+LXzbpoNIm0COHzC+KCqexH5yDsVBZsB IkK4skbS9O011rEKM78MLMf4TMEwVyxYW6jVbFOch/NlyobqcaiypMxxZNaOjwWHWR6N2Ow+ 6rToQgpxvGEWZ1lBxVSFptBPXUwVsqgnidftHkVFzi73NUSzw2a5iP9rCDdX3HsKsBub/COa VZwGcm7rH8hprOuhwedofC8bynqcM5vsdjV5aYGqoabXrlKGKJlvR6UmpEEFSDyFT+VV4bzf 9+pNsEtdYCmVi78CwTgzWpzF4CoYrPPZuCJmV26GNwS6dHDmmhlbYjkSnkfA0si/rlfov4jI 1VFO91iPlbpr1psbaXneVXBi4z8TTr1cWkECKUPqIfyL71PkXh2Z7fjmiJ5F8M0k7HsoxxKG MBCjwmAl6yqP9AMCHGqSHIBI16d9XJhzzozcbtqp4V3iBLQ7wtGOmjSJrUwMT5K44lnV1jKe S0kWC1lHhedldSRuAf0huJLpnIPkYoMir9L6CCm7M2YPWjkHaWvrd+9W88IcNMqqrNwKsruL tbU7Ps2cRTCR5XZrAyeFiO2CqgD8jCxCARxZaES3FoDYIkBs4cH7lctXMAjIbAJELMrur2hd TtjC2gV0DMdUISDmjcFh7Xls4Y=
- Ironport-sdr: 64b1a98b_WQT3bHWHOQgM791qgYibw4gDQK1h162HkSymX1BH3K+Y5n3 2IpN7AUJ2XcSz7TcM1j8RnSrFha28kGl4ETSQCQ==
- Msip_labels:
TLDR: Nominate students, postdocs, and researchers for the POPL 2024 Artifact Evaluation Committee by August 4, 2024 at the following link:
Please forward to your own students and institutions!
For the tenth year, POPL (popl24.sigplan.org) is creating an Artifact Evaluation Committee (AEC) to promote repeatable experiments in the POPL community (www.artifact-eval.org). Last year, 64% of the accepted papers submitted artifacts, leading to 2-3 artifacts assigned to each reviewer.
We are proud to announce an open call for nominations of senior graduate students, postdocs, or research community members to serve on the POPL 2024 AEC. We encourage self-nominations from anyone interested in participating in the artifact evaluation process. Participation in the AEC can provide useful insight into the value of artifacts and the process of artifact evaluation, and also helps to establish community norms for artifacts.
We particularly encourage graduate students to serve on the AEC. Qualified graduate students are often in a much better position than many researchers to handle the diversity of systems expectations we will encounter. In addition, these graduate students represent the future of the community, so involving them in this process early will help push this process forward.
The work of the AEC will be done between October 9 and November 3, so we are looking for people who are available during that time.
Please fill out this nomination form for each nominee by August 4, 2024: forms.gle/5xiszpLGcHJkHbPV9
Please note that in the past we have had more nominees than slots on the AEC, and so not all nominees will be able to join the AEC.
We look forward to your nominations! Please let us know if you have any questions. Thank you for your help!
Leonidas Lampropoulos and Caleb Stanford
POPL 2024 AEC Chairs
- [Coq-Club] Seeking nominations: POPL 2024 Artifact Evaluation Committee, Caleb Stanford, 07/14/2023
Archive powered by MHonArc 2.6.19+.