Radhia Cousot Award and PC report
summary
Program committee forms in late March with roughly half returning members, 4 women and 21 men, and geographic balance across US, China, Europe and Asia. Paper deadline extends to May 1 and yields 40 submissions mostly on the deadline, leading to 20 accepted (19 regular, 1 KN). Double‑blind two‑round review uses ≈23 external reviewers, three reviews typical, with author responses and a virtual PC meeting to resolve seven pending cases. Artifact track receives 12 artifacts, three validated and seven marked extensible.
AI-written summary · about
