LICS Conference Paper Strategist
Evaluates, frames, and refines logic and theoretical computer science manuscripts for submission to ACM/IEEE LICS.
ACM/IEEE Symposium on Logic in Computer Science (LICS) Skill assists academic researchers and computer scientists in assessing paper fit, structuring rigorous theoretical contributions, and navigating submission cycles for the premier logic venue in CS. It provides comprehensive evaluation across semantics, type theory, automata, verification, and proof theory, helping authors identify evidence gaps, avoid common desk-reject triggers, format rebuttals effectively, and accurately route papers against neighboring conferences like CAV, ICFP, and ICALP.
主要功能
01Provides smart routing guidance between LICS, CAV, ICFP, and broader theory venues
02Performs pre-submission checks for anonymity, CFP compliance, and camera-ready formatting
03Generates structured diagnostics on contribution hooks and rebuttal strategies
04Evaluates manuscript scope and evidence fit against LICS reviewer expectations
05Identifies missing theoretical proofs, empirical benchmarks, and artifact gaps
061,074 GitHub stars
使用场景
01Reframing an arXiv preprint or journal-style theory paper for a selective LICS conference submission
02Conducting pre-submission audits to prevent formatting, anonymity, or evidence-related desk rejects
03Deciding whether a formal methods or semantics paper belongs at LICS, CAV, or ICFP