Dear Guy,

We are forming the artifact evaluation committee for TACAS 2025 [1] and would be very happy if you agreed to serve as a committee member.

Artifact evaluation involves checking that a piece of software or some other data - the "artifact" - behaves as described in a submission to TACAS. For more information about the AE process, please take a look at last year's instructions [2] as the instructions for this year will be very similar.

We anticipate that each committee member will have to review 3-4 artifacts in total. The reviewing will be made in two phases, where the first phase is for tool papers, for which the acceptance of the paper is conditioned on the acceptance of the artifact; and the second phase is for regular papers that wish to have AE badges. The general timeline for reviewing is as follows:
Artifact submission (bidding & start reviewing): late October
Notification of artifacts for tool paper (phase 1): mid-December
Notification of artifacts of regular papers (phase 2): mid-January

If you accept our invitation, please fill out the short form at
https://forms.gle/KETfokfYhMtqRZsT7
no later than September 18th 2024. We will send formal invitations closer to the submission date.

We would also appreciate it if you could share the form within your research group and other people you know that may be interested.

Hope to hear from you soon. Best wishes,

Daniela Kaufmann & Mark Santolucito
TACAS 2025 AEC chairs

[1] https://www.etaps.org/2025/conferences/tacas/
[2] https://tacas.info/artifacts-24.php