Announcement_12

I will serve as Sponsorship Chair at CAV’25. I’ve also joined the PC of the Formal Methods & Programming Languages track at CCS’25.