היי כולם, האם יש מישהו שמעוניין שאציע את שמו ל TACAS 2025 Artifact Evaluation Committee? מדובר בעבודה מעט סיזיפית, אבל בדרך כלל לא ארוכה מאוד, והיא מאפשרת תוספת של שורה נחמדה לקורות החיים - ואח"כ יכולה לשמש גם כמקפצה להצטרף ל Program Committees, שזה תפקיד חשוב יותר.

בברכה, גיא

---------- Forwarded message --------- From: TACAS25 tacas25@easychair.org Date: Mon, 9 Sept 2024 at 16:32 Subject: TACAS25: Artifact Evaluation Committee Member Nomination To: Guy Katz guykatz@cs.huji.ac.il

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