TACAS Artifact Evaluation Committee: 2025, 2026 SPIN Artifact Evaluation Committee: 2025 ECOOP Artifact Evaluation Committee: 2025