Zulip Chat Archive

Stream: Seymour

Topic: Before CPP submission

Martin Dvořák (Aug 25 2025 at 10:35):

Deadline for abstracts: 2025-09-05
Deadline for papers: 2025-09-12

However, in reality, we need to finish sooner because Ivan will leave ISTA on 2025-09-01 and I will be on vacation between 2025-09-10 and 2025-09-12. Reasonably, I would aim with abstract submission on 2025-09-01 and with paper submission on 2025-09-08.

Before we submit the paper, we need to:
(1) decide if cographicness will be part of the project
(2) decide if we want to upgrade the Lean and Mathlib version
(3) resolve TODOs in the blueprint
(4) release a stable version of the repository
(5) shorten the paper from 14 pages to 12 pages
(6) do several finalization tasks in the paper (which I promised to do on my own)

Did I forget anything?

You can also have a look at our issues but not all of them need to be addressed before CPP.

Martin Dvořák (Aug 28 2025 at 15:35):

(7) create a blinded version of the paper
(8) check that all code snippets are consistent with the release version of the repository and the referenced version of Mathlib
(9) submit the code to a permanent (archive) repository
(10) submit the paper