The Coq mailing list

[Jeehoon Kang <jeehoon.kang AT kaist.ac.kr>]

TLDR: Nominate students, postdocs, and researchers for the POPL 2020 Artifact
Evaluation Committee by June 7, at https://forms.gle/51XBgEhbb27vZ9n77

For the sixth year, POPL is creating an Artifact Evaluation Committee (AEC) to
promote repeatable experiments in the POPL community
(https://www.artifact-eval.org/).  Last year, 55% of the accepted papers
submitted artifacts.  Details of the POPL 2020 AEC can be found at
https://popl20.sigplan.org/track/POPL-2020-Artifact-Evaluation

This year, we are proud to announce an open call for nominations of senior
graduate students, postdocs, or research community members to serve on the POPL
2020 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 15 and November 13, so we are
looking for people who are available during that time.  You can find more
information about the responsibilities of AEC members at:
https://popl20.sigplan.org/track/POPL-2020-Artifact-Evaluation#Information-for-Committee-Members

Please fill out this nomination form for each nominee by June 7, 2019:
https://forms.gle/51XBgEhbb27vZ9n77 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!

Benjamin Delaware and Jeehoon Kang

POPL 2020 AEC Chairs