Business Meeting
summary
Conference sees 178 registrations, the highest yet; program runs from 75 submissions with 27 accepted (about 36%), up from 51 last year. Review process uses a two-month review period with 7 days of bidding and expanded external reviewers to handle extra load. Discussion covers balancing formalized mathematics (≈ one third of submissions, same acceptance rate as overall), tighter call-for-paper guidance, journal-first collaboration with Annals of Formalized Mathematics, and a single remaining sponsor, JetBrains.
AI-written summary · about
chapters (8)
- 0:00Conference figures
- 3:55Reviewing process
- 11:28Future CPP directions
- 13:14Math formalization
- 20:04AI impact on submissions
- 26:26Tool papers
- 27:31Two-round review
- 30:00Closing remarks
