Skill UI

This guide provides rigorous guidelines for structuring theoretical papers submitted to the International Conference on Database Theory (ICDT). It emphasizes that proofs and formal evidence are the primary contribution, not benchmarks or experiments. It teaches authors how to match their specific theoretical claims (e.g., complexity, expressiveness) to the appropriate academic evidence, ensuring that any proposed experiment is proportional, honest, and merely supplements the core theoretical results.

Provides strict guidelines for writing the Related Work section in theoretical database papers. It teaches authors how to precisely position their novel results against existing theorems (ICDT/PODS canon), covering complex topics like finite model theory, query complexity, and proper academic citation etiquette, ensuring genuine novelty is highlighted.

A comprehensive audit guide for authors preparing submissions for the International Conference on Database Theory (ICDT). This guide covers critical aspects including selecting the correct submission cycle, adhering to the two-step abstract-then-paper deadline, meeting the LIPIcs formatting standards (15 pages excluding references), ensuring complete and verifiable proofs, and maintaining strict anonymity since 2024. Use this before uploading to Microsoft CMT.

A meticulous style guide for authors submitting papers to the International Conference on Database Theory (ICDT). It mandates a rigorous theorem-proof structure, emphasizing precise statement of data models, query languages, and complexity measures. The guide teaches how to structure the introduction to lead with the core result and its data-management implications, adhering to top-tier academic standards.

A comprehensive guide for authors submitting data mining research to elite computer science venues like ICDM. This skill helps define the paper's fit, target the correct scope (algorithms, graph mining, etc.), and structure the manuscript to meet rigorous academic standards. It emphasizes providing sufficient evidence, rigorous baselines, and clear positioning relative to the conference's focus.

This guide directs authors on how to structure the related work section for academic papers in database theory (e.g., for venues like PODS, ICDT). It emphasizes a 'delta-first' approach, requiring authors to compare their specific *results* (theorems, bounds, dichotomies) directly against the nearest prior *results*, rather than simply cataloging related citations. It also covers complex rules regarding self-citation, anonymity, and overlap declaration with concurrent or prior-version work.

A comprehensive guide for researchers to determine the optimal academic venue (e.g., PODS, SIGMOD, VLDB, ICDT) for their paper. The guide helps distinguish between contributions that are foundational theorems (theory) and those that are performance-measured systems artifacts, ensuring proper scope definition before submission.