coq-club AT inria.fr
Subject: The Coq mailing list
List archive
[Coq-Club] Seeking nominations: POPL 2026 Artifact Evaluation Committee [2nd call]
Chronological Thread
- From: Vadim Zaliva <lord AT crocodile.org>
- To: coq-club AT inria.fr
- Subject: [Coq-Club] Seeking nominations: POPL 2026 Artifact Evaluation Committee [2nd call]
- Date: Mon, 15 Sep 2025 16:23:02 -0700
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=lord AT crocodile.org; spf=Pass smtp.mailfrom=lord AT crocodile.org; spf=None smtp.helo=postmaster AT mail-lj1-f171.google.com
- Ironport-data: A9a23:qoouBanIrMKE72f6hvvr2VPo5gwTIkRdPkR7XQ2eYbSJt1+Wr1Gzt xIXWWDTO6nfZzejKo11PIS+oR5U757XmtVqTAZqqSAwFFtH+JHPbTi7BhepbnnKdqUvb2o+s p5AMoGYRCwQZiWBzvt4GuG59RGQ7YnRG/yhTreCYn0sLeNdYH9JoQp5nOIkiZJfj9G8Agec0 fv/uMS31GWNglaYCUpKrfvTwP9TlK6q4m5A7wVjPasjUGL2zhH5MrpPfcldEFOjGuG4LsbiL 87fwbew+H/u/htFIruNjrbhf0QWdaXZNA6Ih2A+c/DKbs9q+0Teeo5iXBYtQR8/Zwehx7id+ /0R3XCEcjrFC4WX8Agrv7a0JAklVUFO0OevzXFSKqV/xWWeG5fn660G4E3boeT0Uwu4aI1D3 aVwFdwDUvyMr96Ry+uAbNB8v+sECMS7IdIzqlxg9RiMWJ7KQbibK0nLzdpR3TN1gsIXWPiHO JNfZj1oYxDNJRZIPz/7CrpkxLbu1iS5KWUI7gvK/MLb4ECLpOB1+LzqKtb9ccaNTsJZn0KV4 GXc8AwVBzlDboHClmTZqCnEaunnlybBRItPDr+B6NE3i1/LwHFIBy0KfA7uyRW+ohXjAooAe hJ8FjAVhaM17QmgSsT3dwappWaN+B8aQdtZVeMggDxh0YLR6gedQ2wGF3tPMYN/8sAxQjMu2 xmCmNaB6SFTXKO9dVWWr4yylCOLFg8xID8fNAMUYAs9yoy2yG0stS7nQtFmGa+zq9T6HzDs3 jyHxBTSYZ1D3abnMI3rojj6byKQm3TfcuIiCuzqso+N6wp4YMuhZdXt5wGEtLBPK4GWSlTHt 38B8yR/0AzsJcDQ/MBuaLxSdF1M2xpjGGOF6bKIN8d4nwlBA1b5IehtDMhWfS+FyPosdz7ze 1P0sghM/pJVN3bCRfYoPt3gVZ1zlPC5SYqNuhXogjxmMskZmOivrHEGWKJs9zq2+KTRufhvY M7EKJz0ZZrkIfQ9kGvvHI/xLoPHNghlmDqLGsGlp/hW+bWZY3GRRP8ENlDIBt3VH4vVyDg5B +13bpPQoz0GCLOWSnCOreY7cwpWRVBlXsueg5IMKYa+zv9OQjBJ5wn5mut5I9QNcmU8vrugw 0xRrWcClAqm3SObc1TWAp2hAZu2NatCQbsAFXREFT6VN7ILOO5DNY9OJ8VlTqpt7+F50/9/Q t8MfsjKULwFSS3K935ZJdPxpZBrPkbjzw+fHTuXUB5mdb5ZRivN5oDFeCnr/3IwFSaZj5Y1j ICh8QL5eqA9YTpeIvzYU9+V9GPpj0MhwLpze2DqPuhsfF7d9dk2Ci7p0d4yDcI+CTTC4Tq41 Q2TUBUS/9PVqaAI7dOSp6alrpioIcR6DEF1D2nW1pfoFCj4r06I455Mb/aMRh/ZDFjLwaSFY f5E6c38PNksvkd4g6AlH5lFlasBtsbS/ZlExQFaLVD3RlWMCII4BEKZ3MNK55Z/9pUAtSSYA kuwq8RnY5OXM8bYEXkUFgovTsKH8do2wjDyz/AEEH/W1R9N3oiscBttZkGXqSlnMrFKHpsvw r4htO4o+gWPsEcWHejcvB9E1VanDyImaLomhKE4EYWwqwsMy3N+W7L+JBLywqmyb4RrDhF3D B6S3LHPlpZN9HrkKnATL0XA7cBZpJYJuS1J8mM8GkS0qoLFqMMajBx12hYrfztR1SRCgr5SO HA0FkhbJpeu3jZPhepfbl+oACV+FAS8wRX07mcChEncQ1eiDGDWHlZgO+zXpEE92EBfdwh94 7u35jvEUzHrXcepxQo0exdvhMLCROxL1D/puZ6YDeGaObIlcBzZgqOKTkgZmSvNWM8eqhXOm rh3wbxWd6b+Cx81n4Q6LIurjZIrVxGOIT15c8FLpa8mMznVR2Cv5GKoNUu0R8JqIs7K+2+eD +hFBJpGdza65Ra0ggErP4w+CJ4qo6dx//sHQK3hGkAeubjGrjZJjoPZxhKjuEAVGedRgeQPA aKPUQmdE16gp2pewE7Mi8hmBlCWQ/c5YC/E4eTk19lRSrwitrl3fFAQw4mEmSyfEDFa8iK+u CLBYK7rzNJe97l8oru0LIJ9A1SbFNCicsWJ7wG5jPpWZ/ztL8rlll0Yu3vnDStsLJoTXNVGz paTgYSm30r6rLISVjHIqYigDIhM3925B8BMA/L0LV5bvCqMY9Dt6B094FKFKYRFvddex8u/T S66VZeATsEUUNJj23FlUShSPBIDAaDRbK27hyeCg9mTKxoaiyrrEciG8CL3UGRlaSM4AZ3yJ QvqsfKI5NoDjoBtBgcBNs52Ea1DP17vdqs3ReLf7QDCIDGTvWqDnb/+mT4LyzLBUCCEGfmnx 6P1fEH1cRDqtZzYyN1cjZdJgSQWK3RAmsg1QFMW/o9nqjK9DVNeF98nD7c9Nsh2nBDxhbbCX xOcXFt6XG+5FX5BfA7n6dvuYhaHC6Zccp3lLzgu5AWPZz3wGIqEB6B7+zx952ttPAHu1/yjN cpU70iY0sJdGX21bb17Cj2HbeZbKjfyw3sJ/QX5kZW3DU9BWPMF03tuGAcLXivCey0IeIMnO kBtLV2ogmniIaIyLSqkU3VPHxoesDLrwnMvdyjnLBP3pdCA1OMZoBHgE7ib71DABfjm4JYFX 3T8QGeM523Q3WYc0UfsVxTFnocsYc+28gOGwGMPiOHcc2xcKojqAi/aoRcycQ==
- Ironport-hdrordr: A9a23:uz20nqM9VmC49sBcTuyjsMiBIKoaSvp037BL7TEJdfUxSKalfq +V7ZYmPHPP+VUssRIb+exoWpPwJU80nKQdieIs1NyZLW7bUQWTXedfxLqn7TmlNCH36/JH2b 0ISdkaNPTASXZ/yej1iTPWLz/i+rW6GWKT6Ns2A00CceiiUcBd0zs=
- Ironport-phdr: A9a23:IvTpHBQaEG1aeva1had/fZA8t9psot2WAWYlg6HPa5pwe6iut67vI FbYra00ygOSBsODt7kf27uG++C4ACpcus3H6CtDOLV3FDY7yuwu1zQ6B8CEDUCpZNXLVAcdW OlkahpO0kr/D3JoHt3jbUbZuHy44G1aMBz+MQ1oOra9QdaK3Iy42O+o5pLcfRhDiiajbrNuN hW2qhjautULjYd4Jas8xBXErmFUd+lZym9lK1GekhL/68yt+JJv7zlct+gu+sNOX6j2Zbg0Q LJdAD87L207+crnuAXMQgeI+nYSSHgdnABSAwjC4hH6X5PxvTX/u+FgxiSUPtD4QK4tVzi64 KllUBDnhD4ZOjA27W/bksN/gr5VrxKnvBx/3pXbYJqJO/pkf6PSZs0VSGxcVctMTSNBA4e8b 4wSD+odOOtTsofwq0cSoRa4GAKjA/7hyiJThn/uw6I1z/ghHw/B3AwlBd0OsXLUp8jxOKodV e25ya/FxijBYfxLwzfw8IfHfBAvr/+PQLx+b9bexFI1GA/ZlFids5DpMy+X2+kLrmOV7/BgV eWqi2M/pA5+uCWgxsYpioLUhY0a0FTE9SRnwIkvONa1T0p7Ydm+EJRNrCyVK5F2QsQ+TGFvp Sk6y7kGtoChcCgN0pQnyAfSZvqaeIeH/hztTvyeIStkhH17YrK/gQ6//Fagx+D+S8S5zVZHo jdFn9fDqH0AygLe59SIRPZg4Eus2DaC2x3T5+9KIE04i6TVJpogz7MwlpQev0vNEy/rlUjwk aSYeEIk+u2y5OTmZLXrvpGcN4huigH7KaQigMO/AeAmPQQWRGib+Ou81KXn/ULjRrVGlPo2k rPWsJ3cOM8Vpba5DhdL3oo/7xuzFTSr3dQCkXUZMF5IewiLg5XrNl3TJv3zEO2xjE62kDhxw vDLJr3hDYvJLnjEiLrheKxy609YyAYqydBf5Y9YBqgPIP7uWEL9qcbUDhA+MwyzzObnDMty2 pkCVmKIB6+VKKLSsVmW6eIzO+SAepMZtTLnJ/Um5/Pil2E1lUMecKWzwJcaam20EuxjI0qDY HrshtkBEX0Nvgo7VOHqjFqCUSROaHupQ608/DY7B56hDYjeR4CthKKO0D28Hp1MaWBKEkqMH mvwd4WYR/cMbzqfLdNmkjwdTLSuV4sh1Qy1uwLh0LpmLu/U+jUCup751dh14ffTlRAo+jBuA cSdyXmBT2dvkWwQXT85wLh/oVBhyleEyaV0nuRUFdNN6PNOUQk0L4bRwOJnBdzqQALOYMmJR lW8TNi+BDE+VNMxw9sXb0Z5GdWukwnP3yS3D7IXirCHHpM08qXb33j+I8Zy1WzK27Umj1kjW sdAKG6mhq969wXLH4DHnEuWmbi2e6kA2iDB7HqMzW+Us0FCTAF9Sb3LU2kHaEXZtdj5/VvCT 7G2BLo9LgZP1NOMJrNRat3xg1VJXPfjN8raY2K2g2q+HQ+GyKuDYtmiR2JI1yLETUMAjgo7/ HCcNAF4CD3yjXjZCWlQHF7uZgve+O1/tnrzGksz1Q2iZFdm3L25+xoYw/uGRKVAjfo/pC49p mAsTx6G1NXMBo/c9mKJHY1ZaNI5uxJc0H7B8hd6JtqmJrxjgVgXd0J2uVnv3lN5ENYIitAk+ VUtygc6MqeEyBVZbTrN2ZfqNpXcMG75+xyub6OQ3UvRg56N4qla0P0jsB34uR2xUE8r8nFpy d5Qhn+b/JniBxAVWpX9U0I6sR9gqOKSeTEzsqXT03AkKqyoqnnC1tYuUfMi0QqldsxDPbmsE QbzF4geBZHrJrV1wh6maRULOO0U/6kxVy+/X92B3qPjfONpnTb9yH9C/Jg4yUWUsSx1Vu/P2 Z8BhfCexAqOETnm3h+ntYjslIZIaCt3fCL3wDX4BINXeqx5fJoaQWaoLcqtw9xihpnrE3dG/ V+nDlkC1YenYx2XJ1D62ARR0wwQrxnF0WO8yCZ4uzozqaGY0C3KzqLlbhVGcm9HSW9+jEv9d JCuhoNSV0ypYg410Rq9sByilu4L+eIldzmVGBgRLE2UZyl4X6C9t6SPeZtK4ZIs6mBMVfikJ EudUvj7qgcb1CXqGy1fwio6fnekoMac/VQyhWSDIXJ0tHecd9t3wEKV4NvGSdZaxD0NQyV5j TSRAUKzdYrMn53ch9LYv+ayWnj0HJlUayXDxpmHvyy35GlnRxqlkLrg0s2iGg883yjh0tBsX iidtxfwbL7g0KGiOP5mdE1lbLPlw/JzAZo20o45hZVLnGMfmo3Q5n0f12H6LdRc36v6KnsLX z8ChdDPskDp30hqL3TBwIycND3Vxsx7a/GxeGQd3S48680MD72bpLBJhip6pFOkoBmZO6As2 GdAj6F2uDhD3LhBsRFl1iiHB7EOAURUWE6k3w+F6dyztuQfZWqid6SxyFsrmNmgCL+YpQQPE H39e5okAWpx9pAlaAOKgCC1sNm0PoCPNIF21FXciRrLgulLJYhkk/MLgXEiImfhpTg+zPZ9i xVy3Ja8tYzBKmN3/av/DAQLU1+9L84V5Dzpir5T28iM2IX6VJFmADkjV4HvRvWkETYf8/P9O EzddV904mfeArfZEQKFvQ1iqGjDO5uxMHqQKHgdwJNlXhbXdwRPxQsTWjs9hJswEAunkdfgf ElO7TcU/lfkqxFIx7ENVVG3QiLFqQyvcDtxVImHIU8c8FRZ/0mMe5/W/qdpEipf5JHksAGdN jnReVFTFW9QPy7MT1H7YuvxuZ+ZqbXeXqzmaKKQKbSW9b4HCKzOnMPzlNMgp3HVaI2OJiUwV aVqnBoeGykjS4KB3GxQLk5f3yPVM5zB/Un6p30x95HltqysAVOn5JPTWeELb5M1oEHw2v3Fb 6nJ1W5vIDJcnPvg3Ffuz74SlB4XgiBqLHy2FKgY8DXKVOTWk7NWCBgSb2VyMtFJ5uQyxFsFP 8mTkd7z2rNi65x9Q15YSVzsnN2obs0WMim8Ml3AHkOCKLWBI3XC3cj2Zaq2TbAYgv9TslW8v jOSEkmrOTrm9XGhTxe0LeRFlz2WJjRbsYC5NxJvUC3tFY2/LBK8N9BzgHs9xrh1znLGOGgAM CRtJkNAqrrDiEEQyv57GmFH8j9kNbzew3ffv7SecM5G96I0W3cR9aoS+nkxxrpL4TsRQfV0n HCXtdtyuxS9lfHJzDN7UR1IozINhYSRvEwkN7+Kk/sIEXvC4h8J6n2dThoQoN4wQNnooax4w cLIn6X/KTNPtdXO8oFPYqqcYNLCK3cnPRfzTXTMCxAZSDewKWzFr0lUkfXX8n/M65Zj9cGql 50JRbtWElcyE7lJbyYtVMxHK5BxUDQ+lLedh8Nd/nuyoi7aQ8BCt4zGXPafaR0OADOQjL0BY xlRhL2hct1VOYr81EhvLFJ9mdaSc6I1ddtXpSZmYg4wrQNK6ncsFgXbNGrucASm53MSEfPym QQ52FIWXA==
- Ironport-sdr: 68c89fe3_Rw+SYVf9jsrlDxm3qS+TPOPBTtHkt7PPT/ntqY7e+dI7pFm 39MXgqYuypjr3E0N99KXSInlxrv98GzeIfQwviQ==
TLDR: Nominate students, postdocs, and researchers for the POPL 2026 Artifact Evaluation Committee by September 20th, 2025, at the following link:
https://forms.gle/bytpiL4VcMgwhbBR6
Please forward to your own students and institutions!
For the twelfth year, POPL (https://popl26.sigplan.org/) is establishing an Artifact Evaluation Committee (AEC) to promote repeatable experiments in the POPL community. Last year, we received 43 submitted artefacts, resulting in 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 2026 AEC. We also encourage self-nominations. Participants will gain insight into the value of artifacts in academic publications, and a deeper understanding of the evaluation process – all while helping the community to establish and maintain norms for artifact evaluation.
We strongly encourage graduate students to serve on the AEC – the artifacts provided use a wide range of systems and languages, and graduate students can be particularly well equipped to handle the diversity. Furthermore, the insight and suggestions from upcoming researchers is invaluable to improving the artifact evaluation process.
The work of the AEC will be done approximately between the middle of October and the middle of November (roughly four weeks), so we are looking for people who are available during that time.
Please fill out this nomination form for each nominee by Saturday, September 20th, 2025:
https://forms.gle/bytpiL4VcMgwhbBR6
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!
Vadim Zaliva <Vadim.Zaliva AT tufts.edu> and Calvin Beck <hobbes AT seas.upenn.edu>
POPL 2026 AEC Chairs
--
- [Coq-Club] Seeking nominations: POPL 2026 Artifact Evaluation Committee [2nd call], Vadim Zaliva, 09/16/2025
Archive powered by MHonArc 2.6.19+.