Browse reusable Agent Skills, each with a clear purpose and practical guidance.
当需要判断一项信息科学成果是否适合投《中国科学：信息科学》(Scientia Sinica Informationis, SSI)、该投中文版还是英文姊妹刊 Science China Information Sciences、以及应选哪个栏目（评述/论文/快报/学术介绍）时调用。覆盖本刊的科学价值与创新高度门槛、与兄弟刊（计算机学报/自动化学报/电子学报/通信学报/软件学报）的分流、中英文择一投稿关系、大信息学科（计算机/控制/通信/微电子）的适配，以及换核检验等选题自查方法。适用于动笔前的选题与投向决策。
Use when targeting StarSem Conference on Computational Semantics (*SEM) 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 computational semantics.
Use when judging whether computation belongs in a STOC (ACM Symposium on Theory of Computing) paper at all — STOC accepts on theorems, with no empirical-evaluation expectation — and when it does, scoping it as certified proof computation, constructive search, or clearly labeled illustration rather than benchmarking.
Use when positioning a STOC (ACM Symposium on Theory of Computing) paper against the theory literature — tracing bound-improvement lineages, citing conference/journal/preprint version pairs correctly, handling concurrent arXiv and ECCC work, and keeping self-citation double-blind-safe.
Use when reasoning about how a STOC (ACM Symposium on Theory of Computing) submission is evaluated — the SIGACT program-committee model with external subreviewers, HotCRP mechanics, double-blind conflicts, the November-to-February decision arc, and what best-paper designation and rejection each actually mean.
Use when deciding whether a result belongs at STOC (ACM Symposium on Theory of Computing) — testing for broad theory-of-computation significance versus routing to FOCS, SODA, CCC, ITCS, COLT, CRYPTO, PODC, SoCG, EC, or a journal like JACM/SICOMP when the fit is specialized, conceptual, or empirical.
Use when targeting 《劳动经济研究》(Studies in Labor Economics) or deciding whether a Chinese social-science/econ/management manuscript fits this journal. Applies the journal's fit, framing, method, house-style, official-submission-check, and desk-reject heuristics.
Use when reasoning about how a TACAS (ETAPS) submission is evaluated, covering the per-category blind model (double-blind research vs single-blind tool/case-study), the single annual PC round with a rebuttal, the parallel mandatory artifact evaluation that feeds tool-paper acceptance, accept/reject decisions, and how TACAS's process differs from CAV's and from a journal's.
Use when deciding whether a formal-methods / verification project belongs at TACAS (ETAPS) or a sibling like CAV, VMCAI, FMCAD, SPIN, or a journal, AND — distinctively — which of TACAS's four categories (research, case-study, regular tool, tool-demonstration) it fits, plus whether the work is a SV-COMP competition contribution rather than a paper.
Use when running and reporting the estimation for a The Accounting Review (TAR) manuscript — the estimator, fixed effects, standard-error clustering, robustness, and the data-authenticity / code-access documentation TAR requires. Executes and reports the analysis; it does not design identification (tar-methods) or frame the contribution (tar-contribution-framing).