ICDT Supplementary Material Guide
Structures ICDT conference submissions to balance 15-page body constraints with self-contained appendix proofs under LIPIcs formatting rules.
The ICDT Supplementary Material skill helps researchers format and structure submissions for the International Conference on Database Theory (ICDT). It guides authors in splitting technical content between the strict 15-page lipics-v2021 body and a clearly marked in-PDF appendix while adhering to conference rules, such as the complete prohibition of external and online appendices. By ensuring that main results and proof sketches remain self-sufficient in the main text while organizing rigorous proofs in the appendix, this skill maximizes reviewer persuasiveness and ensures submission compliance.
Key Features
011,079 GitHub stars
02Organizes and signposts detailed proofs inside the single-PDF marked appendix
03Provides structured review checklists for body self-sufficiency and page constraints
04Enforces the 15-page LIPIcs body budget while maintaining self-contained theorem sketches
05Validates compliance against ICDT's strict prohibition of online and external appendices
06Distinguishes anonymous submission requirements from post-acceptance full versions
Use Cases
01Organizing lengthy mathematical proofs into a signposted, reviewer-friendly marked appendix
02Auditing conference submission PDFs for prohibited external links and online appendix dependencies
03Structuring a database theory paper to ensure key results and proof sketches fit within 15 pages