Business Meeting
summary
About 51 papers are submitted and 20 accepted this year, reviewed by 32 PC members with 26 external reviewers and two months for reviews and rebuttals; reviews are long and heavily discussed. Proof-assistant counts show 26 rock submissions, 10 Isabel submissions, and fewer Agda and Lynn papers. Three distinguished papers are named: “Certifying rings of integers in number fields”, “Split-decision explicit context for subural languages”, and “Next-gen modality for non-frame-preserving updates in separation logic.” The amazing-reviewer award goes to KL Pamsllock. Next CPP colocates with Popl and lists chairs Nicola, Nikil Swani, Katherine, and Yanik Zakovski.
AI-written summary · about