Discussion: CPP 2026

Stream: general

[Patrick Massot]

This is the discussion thread about #announce > CPP 2026 @ 💬 .

[Patrick Massot]

I was in the committee last year and I can say that math formalization papers were indeed very welcome. So please don’t be frightened by old stories you may have heard about CPP.

[Martin Dvořák]

When does an abstract count as submitted? The deadline is 2025-09-05 but, right now, I can only "Save draft" in the system.

[Shreyas Srinivas]

on hotcrp that is usually enough

[Shreyas Srinivas]

But you should also check for incomplete fields if there are any warnings

[Martin Dvořák]

Well, the warning is that I didn't submit a paper yet. The deadline for papers is 2025-09-12. Do I need to submit a draft or dummy version of our paper so that the abstract counts as officially submitted? Or just having "draft submission" in the system is enough to count the abstract as submitted?

[Filippo A. E. Nuccio]

After discussing the matter with the organisers, rest reassured that "draft submission" is enough.