domains / families / research / icdt-writing-style

icdt-writing-style

separate

Use when shaping the prose of an ICDT (International Conference on Database Theory) paper — the theorem-proof structure, stating the data model and computation model precisely, leading with the result and its data-management consequence, proof-sketch-then-appendix discipline within the lipics-v2021 15-page budget, and the notation conventions a database-theory referee expects.

When to use

• shaping ICDT paper prose
• theorem-proof structure
• stating data and computation models
• leading with results and consequences
• managing 15-page budget
• notation conventions
• proof-sketch-then-appendix discipline

When not to use

• padding body with restated related work
• shrinking font or margins
• model-last writing
• one-sided bounds sold as tight
• proof-by-citation
• survey-as-introduction
• undefined asymptotics

Skill page

Source