The Coq mailing list

[Calvin Beck <hobbes AT seas.upenn.edu>]

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