Skill UI

A comprehensive strategic guide for authors targeting the IEEE Symposium on Security and Privacy (S&P). This skill helps evaluate if a computer science manuscript is a proper fit for the venue by covering rigorous threat modeling, ethical considerations, evidence requirements, and how to strategically frame the contribution. Use this when determining conference submission strategy or refining security-focused academic research.

A guide for authors submitting to theoretical computer science venues (ITCS). It strictly defines what constitutes valid evidence for a mathematical claim, emphasizing that complete proofs are paramount. The guidelines detail how to use worked examples, separating objects, and appropriately scoped computations, while strongly advising against using empirical benchmarks or performance metrics.

This guide helps researchers navigate the complex landscape of theoretical computer science conferences. It explains the crucial distinction between 'conceptual novelty' (favored by ITCS) and 'deep technical results' (favored by STOC/FOCS). Use this to determine if your research contribution is a new idea, model, or connection, or if it is the deepest, most polished theorem on an established problem.

This skill provides comprehensive guidance for authors submitting highly rigorous theoretical computer science manuscripts to top-tier venues like SIAM Journal on Computing (SICOMP). It covers required standards for algorithmic design, computational complexity, formal proofs, house style, and the high bar for theoretical contribution necessary for foundational academic publishing.