domains / families / research / acm-ieee-symposium-on-logic-in-computer-science

acm-ieee-symposium-on-logic-in-computer-science

separate

Use when targeting ACM/IEEE Symposium on Logic in Computer Science (LICS) or deciding whether a computer-science manuscript fits this venue. Encodes conference fit, framing, evidence bar, submission-cycle checks, rebuttal posture, and desk-reject risks for logic in CS.

When to use

• targeting ACM/IEEE Symposium on Logic in Computer Science (LICS)
• deciding whether a computer-science manuscript fits this venue
• conference fit, framing, evidence bar, submission-cycle checks
• rebuttal posture, and desk-reject risks for logic in CS
• logic, semantics, type theory, automata, verification, proof theory, and theoretical CS
• re-framing from journal style or arXiv style into a selective CS conference narrative
• evidence-gap, anonymity, artifact, rebuttal, or re-routing diagnosis

When not to use

• substitute for the current year's CFP, author kit, ethics policy, or submission portal
• generic CS paper until the introduction names the exact subcommunity
• empirical software repository mining to MSR
• verification tooling to CAV
• programming-language implementation work to PLDI/ICFP when logic is not the core

Skill page

Source