Also, a huge shout-out to the Chameleon Cloud Project and UChicago CS (@uchicagopsd.bsky.social ) for providing part of the infrastructure that made this, yet again, a successful AE. Looking forward to next year's AE 🥳 🥳 🥳 Tot ziens, EuroSys!

#ArtifactEvaluation #eurosys #ChameleonCloud #uchicago

CAV'25 Artifact Evaluation Committee - Nomination Form

🚨 The CAV 2025 Artifact Evaluation Committee is seeking nominations! Submit your (self) nomination using this form:
👉 forms.gle/PCAShznCZL9T...
📅 Deadline: January 16th, 2025

37th International Conference on Computer Aided Verification:
🌐 conferences.i-cav.org/2025/

#CAV2025 #ArtifactEvaluation