coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Call for Reviewers APLAS 2022 Artifact Evaluation Committee

From: Jan de Muijnck-Hughes <Jan.deMuijnck-Hughes AT glasgow.ac.uk>
To: Jan De Muijnck-Hughes <Jan.DeMuijnck-Hughes AT glasgow.ac.uk>
Cc: Spls <spls AT dcs.gla.ac.uk>, "Announcement list for the South of England Regional Programming Language Seminar (S-REPLS)" <SREPLS AT JISCMAIL.AC.UK>, <idris-lang AT googlegroups.com>, <agda AT lists.chalmers.se>, <types-announce AT lists.seas.upenn.edu>, <ecoop-info AT ecoop.org>, <coq-club AT inria.fr>
Subject: [Coq-Club] Call for Reviewers APLAS 2022 Artifact Evaluation Committee
Date: Tue, 10 May 2022 15:01:15 +0100
Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=glasgow.ac.uk; dmarc=pass action=none header.from=glasgow.ac.uk; dkim=pass header.d=glasgow.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=mt0thqGQhMzoiXEYYtj5tgvD28VEpF7ys25oFrc4CwY=; b=DAV2Cm2nXuxypcTQ6S1aQPoTlD2mnYxq0n9fhaC9hBrojEQBhK555MR8muW5dFdI/oDQA0ZgPzhwHPztZxmpLZf3z0bqMq14aG9ufWdWqlib7nLRlEe9LXa1ypk9NGW6S7I6bxvaTmx/yfNrUqeF1uUySYN8tkCfH20RwHu9BG4GqoDu/1Zfazh8CPoq5AWfNqOTj309/CwDU5k3JkaLdHICXehQ0U6LCKmd53dLF6eeOzJRifw0pX0pISvxYjBSFxm+1ySizpw7A9z+zEvWDFjKQjS7oWsHN9OIGKJ1PKRybPnrFWOLL00mULmdtUCRI/rxMgPTu6v07NoACRVKMw==
Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=FSVzDeWDr3u1mN3olZOxIxQE6DItbRx+VuN13VgJviDN1ovIUrtaA3c7gBuWmv28F25ssuoZdL/BjJFa6MoN+uCfvxTATKTw2FAc4gMGAKrRaW4lS8I8wfhsuOptlXgzTUL4g4hOiLiSzhI9BSO6Gv+//UoKG7TI5cdM1HBby542A6I2EqOwDJxEjN2w9x9FLT8pIwgcBVp3cvWqo0nX0+XIz71PUT8pAQxAnPcqgVhGjjHZNzCujeD+CYHd2SRL8HfQOn2f+mwyPqo2diExjlRFEEXTKDzCbNAOK5QK8E/IlMznnF5DJQlgZulD3+l4IOpngKqxNB/DfhBNaGpWRg==
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=Jan.deMuijnck-Hughes AT glasgow.ac.uk; spf=Pass smtp.mailfrom=Jan.DeMuijnck-Hughes AT glasgow.ac.uk; spf=None smtp.helo=postmaster AT hillfoot.cent.gla.ac.uk
Ironport-data: A9a23:VTYA26COvQ6SIRVW/7jlw5YqxClBgxIJ4kV8jS/XYbTApDNz0mADy jEcDTjVOaqOMDbwe951ao2zoBgB68WBmtZkOVdlrnsFo1Bi+ZOUX4zBRqvTF3rPdZObFBoPA +E2MISowBUcFyeEzvuVGuG96yE6j8lkf5KkYAL+EnkZqTRMFWFw0HqPp8Zj2tQy2YXgW1vX0 T/Pi5S31GGNi2Yc3l08sPrrRCNH5JwebxtF1rCWTakjUG72zxH5PrpHTU2CByeQrr1vIwKPb 72rIIdVUY/u10xF5tuNyt4Xe6CRK1LYFVDmZnF+A8BOjvXez8A/+v5TCRYSVatYowXKpPkg7 f4Vj8axagkXGbLDluQXDyANRkmSPYUekFPGCXi+tcidyEraNXDhxekoA0U/e4QTvPt0aY1M3 aVDcHZXNkHF3rzwmeLiIgVvrpxLwM3DHooZ/F1t6CzYD/AtQtXjXqrK6MRw0zM5nc9JArDXb IwEalKDaTybPkAeZwpGV/rSms+pp1ztWCZ5km6XqIlo/3aO6xVuwJ3UZY+9ltuiHpkLwh/B/ Aoq5V/RCRYDcdeb1DCt6WOpnuaJnCXhWYtUGqfQyxJxqF2SwmgdDxoKE1C2p+X/hUq3HdtUb VEXksYzkUQs3HzodfCsejbgmiSFnRAifMVfHe0wtDjYn8I4/D2lLmQDSzdAbvkvu8k3WSEm2 ze1czXBWWwHXFq9FS31y1uEkd+hEXVIfTRaO0foWSNAv4O+8dpbYgfnFI4LLUKjsjHiMR7aq 9xghAc6jq4citFjO06T0gyd695AjqPCSRIx7wPbNl9JAyt5ZYqhaYuv9R7Q4PBcaomdRx+It z4ZmKByDdzi77nQxERho81UQtlFAspp1hWA2DaD+LF9r1yQF4aLJ9w43d2HDB4B3jw4UTHoe lTPngha+YVeOnCnBYcuPd/rUp5zkPi9SoS9PhwxUjaoSsYrHONg1H81DXN8I0i3wRBEfVwXZ s3GKprwVR7294w+lGruFo/xLoPHNghlmT2PHMmhp/hW+biXYnOJAaoDMUWDdPs48LLMpgjJ7 NFFNKO3J+Z3DoXDjt3s2ddLdzgidCFjbbiv8pA/XrPdfmJORT9wY9eMkeJJU9E0xMx9y7aXl lnjARUw4ASk2hX6xfCiNyoLhEXHB8gv9BrW/EUEYD6V5pTUSdzxs/1DJ8BnLdHKNoVLlJZJc hXMQO3Yatwnd9gN0211gUDVoNMweRK1qxiJOib5MjEzc4Q5HF7G/tb/cQzwsiAFSDe07JNsr 7ql3wLdYJwCWwU7VJiGMaz0lQvpsChPgv92UmvJPsJXJBfm/r91JnGjlfQwOcwNd0nOn2PIy waMDB4EjuDRuItposLRjKWJot7xQetzF0ZXBUfB6rOyOXWI92av29YbAumMdCvSU3yy8a7ke OYMl6PwN/gOnVBrtYtgEu8zk/JnuYC1/+dXl102Em/KYlKnDqJbDkOHhcQf5LdQwrJ5uBetX h7d8NdtJrjUatjuF0QcJVR5Y73bh+0UgDTb8d88PF7+uH1s5LOCXEhfY0uMhShaIOcnOY8p2 7166s4X7wixjR02dN2LiDwS+GCFaHULFbgk78lIDIjugwst61dDfZ2FUnGouMHeNY0UPxl4O CKQiYrDm69YlxjLfHcEHHTQ2fZQ2MYVsxdQwV5ef1mExojfivks0EED+Dg7VF4OnBVG1+Z9P W93cUZ4I7nI8DNhwsFIGX2vQlkTCBqc80336l0IiGyAFxf2DjyccjVlNLbf5l0d/kJdYiNfr eORx2vSWDr3eN38g3kpUkl/pv2/FdF8+2UuQix88xhpy3X7XdbkvkNqTWoJrx/pBsQtwkbKo /Us8+J5L6TwczMTy0H+5092ypxIIC1o5kQbKR2iwE/NNW7YcSq93ifIIkv3Z8Alyzni7xqjE 8I3Ti5Qf03W6ctNxwz3wYYDJ7Zvk/k2otMJPK7oTYLDX31zsRIx2K/tGuPCaKPHjjmgfQvR6 m8cSt5aLlGtuA==
Ironport-hdrordr: A9a23:FX2r/6FVQ+LxNhBCpLqFApHXdLJyesId70hD6qkvc31om52j+f xGws516faVskdzZJkh8erwQpVoMkmsjKKdhrNhQotKPTOWxFdASbsD0WKM+UyGJ8STzJ8k6U 4CSdkONDSTNykfsS+S2mDReLxMrKjkgcWVbIzlvgxQpG9RGtxdBktCe2Cm+hocfng5OXN1Lu vV2uN34x6bPVgHZMWyAXcIG8DFut3wjZrjJToLHQQu5gWihS6hrOeSKWnT4j4uFxd0hZsy+2 nMlAL0oo2lrvGA0xfZk0ve9Y5fltfNwsZKQOaMls8WADPxjRvAXvUrZ5Sy+BQO5M2/4lcjl9 fB5z8mIsRI8nvUOlq4pBP8sjOQpwoG2jvH8xu1kHHjqcv2SHYREMxan79UdRPf9g4JoMx8+L gj5RPXi7NnSTf72Ajt7dnBUB9n0mCup2A5rOIVh3tDFaMDdb5qq5AF9k89KuZNIMvD0vFnLA BSNrCd2B4PGmnqLEwx/1MfjeBEZ05DUCtvGSM5y46oOzs/pgEM86JX/r1bop46zuNPd3B13Z W1Dk1WrsA9ciY3V9MKOA5Te7r/NoTyKSi8RV56Z26XUJ06Bw==
Ironport-phdr: A9a23:9JbSixKzjAWDvyhNpdmcuJtvWUAX0o4c3iYr45Yqw4hDbr6kt8y7e hCFvrMx1RSXAM2bs6sC17CM9fi4GCQp2tWoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgH c5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7Ovr6GpLIj8Swyuu+54Dfbx9HiTajb75+N hq7oRjeusQXgYZpN6I9xgfUrndSdOla231kKUiPkxrg48u74YJu/TlXt/897cBLTL/0f74/T bxWDTQmN3466cj2vhTdTgWB+2URXHwOnhVHHwbK4hf6XozssiThrepyxDOaPcztQr8qXzmp8 rpmRwXpiCcDMD457X3Xh8lth69VvB6tuxpyyJPPbYqLKPRxYL/SfdICRWpAQMlRUTBBApihZ IcLFuYNIPpUo5X4q1YIqhSwGBSsBPj3yjBWmnD2waM00+MkEQ7c3QwgGc8FvHDbodjxMasfV +e6wbXGwDnfcv9awCvx5JXVeRwlvP2BXbd8fMzMwkctCgzFlE2dp4/rMTyb1uoDrnaV4PZvW +2gkGMntwN8ryKzysswhITEhIQYwU3E+yVjx4Y1IMW1Rkphbt6iDZBfqj+VPJZxTMM/QmFou iA6xaEFuZKifiYK1Zsnxx7BZPycboOF5RbtW/yXITtimX1qZrWxhwuz8UiizO3zSsq03E9Io CpYndnMtm4C1wfI58iITvty5Fyh2TmI1wHd8O1LO1w7mbDGK54i27M9kIcYvkvfECHsgkr2k LOWeVs++uiu8+nrfLvoqJCcOoF7jgzwPKsjl8yjDOo4LAUDXXSW9OWg2bDs/UD0XLtHg/k5n 6fZvp3XO8UWq6C6DgJXzoou9xWyAjG729oWmnkHKUhKeBOBj4XxNVHOJ+r4DfKkg1i2nzdrw +7JMqX6ApXVKnjMiqzhfbZh5E5bzgo/19df54hbCrwHPfn9WVfxucTFAhI3LwC42fjrBMl52 48ERG6CA7WVPL7RvFOV/u4jPeiBaJMbtTv4NvQp++ThgH48lFISYaWlwZ4aZG23E/loJkiUZ Hjhj9EcGmkQpAU+VvbliFiaXD5TeXmyW6U86yk7CIKnCYfDQo6tgLuG3CenBJFZen5JClaQE XvyeIWEX+0DZDiILcB9iDAESLuhR5cg1RGoqgD616JqIvfa9yEEr57vysR56unJmR0v9DF4F dmR3mKQQ21sm2MHXT423KRxoUxnzVeD1LB1jfhCGtxV/f9HXBk1O5nBz+x7CdDyXB7OftSQR FikX9WmDjExQcwqw9IVbEZ9H8+tjgvM3yqtDb4ZjaaEC4Au/qLB3Hj9P8B9xG3e26k7k1YmW tdPNXGhhqNn6gTfH5TJnFmBl6a2aaQc2zbA+3uEzWqXpU1XTApwUbjeUn0EfUvXrdH55lvYQ LO0CLQnNBFByc+YJadQZN3plwYOePC2Gt3YK06800KtBBSOzbDJTJfle2gGlHH/AU5Cvw024 HeEMwM9Qwe8rGLTFxRhEVv0bETzt+B17m64GBwa1QaPOm9o0fK591YwmP2eTfgQm5IZtycss H0gPl+7md7bLseBpQxqf+B8fNw97Uxv2mbQrAN6IdqpJOZ/hQhNIExMo0ry2kAvWc17ms8wo SZvl1QawcOw1VpAc2ndxpXsIvjNLWK0+hmzaqnQ01WY0dCM+65J5u5r4077slSPEUwvu25iz 8ETy2GVs7fDCkweXLfsU0Qx/Bs/h6zVYiQmz4zQ3GZjNrbyuzSExtF6TPA9xEOYdsxEeLiBC Be0FsQbA8a0L+l/uVGvKD4JGf1T9qg/PIaGavSG1bWDM+Jphz2hkiJO68Zg0RHE7DJyH8jP2 ZtN2PSExk2HWjP72U+mqdzykJtYaCs6Hmu7zSbjA5IXbaB0YcAEDW7oKsbx29YWa4fFfXle+ RbjAloH3JXsYh+Odxnn2gYW000LoHuhkC/+zjpukjhvoLDNlCrJi//vchYKIAspDCFrkEvsL I6ojtsbQFngbg4nkwGg7Fr7wK4Trbp2Lm3aS0NFNybsKGQqXqy1v7uEK8lBjfFg+QdeVqKwb HWHS7z7qBhf8z7sH2ZF7D8/fiqlvYq/lhc8lWHcZHd/oXzFeN1hkA/F7Y+5J7YZ1T4HSS9kz DjPUwHnZ5/zpYTSzsmF67DnBAfDHtVJfCLmzJ2Nrn6+7GxuW1ikmuyr38fgGk482DP60N9jU WPJqgz9a8/lzfffU6ovc092CVv788c/FJt5l956ppgWn1QXo4iU/3wMkiLTLNpb1LnWY34EX jEM3Jjc60742wcwSxDBj5K8TXibzsZ7MpOYa2VQ1i8Y8sFIDqyXqZxZkit4uXK3qQvKbv9i2 D4Wj+Ytoi1/4alBqE8mySOTBaoXFE9TMHn3lhiG2Nu5qb1eeGeldbXYOFNWpdm6F/nCpwhdX Cy8YZI+BWpq6c45NlvQ0Xr144Wied/KbNtVuAfG2xvHiuFULto2mJ9ozWJFMGS7kXAA1u85i xdtmLGns4iKME1i+KuiDRlHcDT+Id4Qsj3glqdRmM+K0pvnR845XG9TDd2xE7TxQGt317yvP h3GCDAmr3aHBbfTVRSS7ktrtTOHEpymMW2WOGhMyNxjQBeHI0kM5WJcFD4+n5M/CkWr3Jm4K x8/vGhAoAem7EIck7ENVVG3SGrUqQa2Zy1hTZGeKEAT9QRe/wLPNsfY6OtvHiZe95nnrQqXK 2XdaR4baANBEkGCGV3nOaGjoNfa9O3NTMi3Kb3ibJCTqO5YXPTN5Y+g0oZ91zmIP96AOWYkB vZ9x0kJDhUbU4zJ3i4CTSAajXeHTced4jux3zB2rMa087HLRQ3v6JCnBL9bKtpo5Fa/iuGeN KTD4UQxYSYd3ZQKy3jSzbEZ11NHkCBieQ6mFrEYvDLMRqbdyedHSgQWYCRpOI5U/roxi0NTb NXDhIq/hdsaxrYlTk1IXlv7loS1aNwWdiujYUjfCh/DNazad2SQm4etOfL6EfsIy7wK/xig3 FTTW07lNTCemzS7TAihd/lWiz2WNwBfv4f7dQtxDW/kT5TtbRjxWDNupRsxx7B8xnbDNGpGd CN5b1sItLqbqyVRnvR4HWVFqHtjN+iN3SiDvaHeLd4NvP1nDz4R9aoS6Wkmy7ZT8CBPReBk0 CrUoNl0pli6k+6JgjN5WRtKozxPicqFp0Jncane85BBXz7D8ndvpS2IDA8WotJ+FtD1k6BRz tzBk6XvbjxP9c6S8s8VQcHfbt+EcTIgPRfvBD/IHV4FQDqsZgS9zwRWlPCf8GHQr4Bv88O03 sBWG/kCChpsRqpJbyYtVMYPK5p2QD4+xLuSjcpSoGG7sAGUXsJR+JbOSvOVB/zrbjefl7hNI RUSktaaZcweMJP230t6Zxx0hoPPTgDyVNYLjiBEcw42pk5OtVhjQW0+wGrqbgq273gMU/e/2 AM1wFgbA6xl5HL37lE7K0Cf7jM3i1U0kM75jCq5cD/1KKm3Wp0QACfyqw4+Npq9Sg0zcA74z ikGfH/UArlWibVnb2VijgTR7IBOFfBrRqpBeBYMxPuTap3AMHxcqyGjy0hA+a3OBJ1+0gQue NilpDRd2FA7BDbaDaPULbFGyUcWj6nIoyz6j4jZJScRI08W/2SNPicD/lELZOFOGg==
Ironport-sdr: 75gRqj6W6u+lgoRfodI+jzZjbG8NSSO2bojqm35Uwrz4Suewd3wKrZgN5cIud5OxjIIGxIcJTO n7z3wC1jp2yBIKliOLGLTB0SfiGDvb1TUDQn6Doetr+PJESwFxq0G9qCO+lqXC6T6rBdQB8mHI kHI+3hcjjP9oiPZnm3PwjNuMc4st5qTNRpeSDiSa2825ciVRwn7ifKh2xPCeNLiC3FiU0qz1AL rsIk5TgyNXJWKsSW9cxBVO5SdS35qzmx/dX2wy6FmblgSSC7UxS2JoKuIcRo+FqZCLdkWfI0Km bQXj93ku7Tbt9MJp3f9pNPg9

Dear all;

*Apologies if you have seen this email before.*

The /20th Asian Symposium on Programming Languages and Systems/ (APLAS'22) is going to be holding its first /Artifact Evaluation Committee/ (AEC). The artifact evaluation process aims to promote, share, and catalogue the research artifacts of papers accepted to the APLAS research track. We are looking for motivated researchers at all academic stages (PhD Students, Researchers, Lecturers, & Professors) to join us on the inaugural APLAS'22 AEC.

The self-nomination form is available at:

https://forms.gle/rJREG9DiFQHegZmD9

To nominate other people please use the following form:

https://forms.gle/KFiQYLjELMsEjGLp8

As a committee member your primary responsibility will be to review artifacts submitted by authors of accepted papers and ensure that the artifact is a faithful representation of the accepted paper's results. This will involve interacting with some tooling provided by the authors, check if the results of the main paper are consistent with the claims in the paper and are also reproducible for researchers to come. APLAS will use a three-phase artifact review process: Kick-The-Tyres; Review the Artifact; and Iron-out-the-Wrinkles. Reviewing guidance for committee members will be made available once the committee has been formed.

We will close nominations on:

Friday 08 July 2022 (AOE)

and notify the selected committee members on:

Friday 15 July 2022 (AOE)

We expect most of the reviewing process to be performed between 22nd August 2022 and 19th September 2022. We expect each artifact to take around eight hours to review and we will look to assign each reviewer three to four reviews. For each artifact we will assign a Lead Reviewer to lead the reviewing process. Salient information about the reviewing process can be found online:

https://2022.splashcon.org/track/aplas-2022-aec#Reviewer-Information

Come join us to improve the quality of research in our field!

Thanks

Arpita Dutta and Jan de Muijnck-Hughes

APLAS'22 AEC Co-Chairs.

This call was adapted from the PLDI'22 AEC Call for Nominations.

[Coq-Club] Call for Reviewers APLAS 2022 Artifact Evaluation Committee, Jan de Muijnck-Hughes, 05/10/2022