A skill your agent uses when auditing an ICALP (EATCS) Track A or Track B submission for HotCRP readiness, covering the correct-track submission server, abstract registration before the full-paper…

MITAuto-check passed

Install Icalp Submission

skills CLI
$ npx skills add brycewang-stanford/Awesome-Journal-Skills --skill icalp-submission -a claude-code

Project install by default; add -g for ~/.claude/skills/.

GitHub CLI
$ gh skill install brycewang-stanford/Awesome-Journal-Skills icalp-submission --agent claude-code

Project scope by default; add --scope user for a personal install. Needs GitHub CLI 2.90.0 or later (public preview).

Manual copy
$ git clone --depth 1 https://github.com/brycewang-stanford/Awesome-Journal-Skills.git skills-src && mkdir -p .claude/skills && cp -r skills-src/ICALP-Skills/skills/icalp-submission .claude/skills/icalp-submission && rm -rf skills-src

Use ~/.claude/skills/ instead of .claude/skills for a personal install. The folder must contain SKILL.md.

Claude Code skills documentation · loads skills from .claude/skills/

Facts

Skill name
icalp-submission
GitHub stars
1.2k
Token cost
~1.6k tokens
SKILL.md length
716 words
Files
1
Skills in repo
2,387
Repo updated
First seen
Licence
MIT

At a glance

A skill your agent uses when auditing an ICALP (EATCS) Track A or Track B submission for HotCRP readiness, covering the correct-track submission server, abstract registration before the full-paper…

  • Works in 6 steps: Confirm the track and the correct HotCRP… → Register… → Freeze the 15-page body; make sure every… → …
  • Auditing an ICALP (EATCS) Track A
  • SKILL.md covers Pick the right track first, The two-step deadline, Format and page budget and Lightweight double-blind sweep, plus 5 more sections
  • Calls pdftotext

What it does

Icalp Submission is an agent skill from brycewang-stanford/Awesome-Journal-Skills. Use when auditing an ICALP (EATCS) Track A or Track B submission for HotCRP readiness, covering the correct-track submission server, abstract registration before the full-paper deadline, the 15-page extended-abstract page budget with a clearly labelled appendix / full version, lightweight double-blind anonymity, the no-simultaneous-submission rule, and the single annual February AoE cutoff.

Its SKILL.md is about 1.6k tokens, which your agent loads only when the skill is triggered. It is a single SKILL.md file with no bundled scripts.

The repository describes itself as: Journal-specific Claude Code/Codex skill packs covering mainstream journals — AER, QJE, Nature, Cell, 管理世界, 经济研究 & 200+ more — your fast track to getting published. | 覆盖主流期刊的… The licence is MIT.

When your agent uses it

  • Auditing an ICALP (EATCS) Track A
  • Track B submission for HotCRP readiness
  • Covering the correct-track submission server
  • Abstract registration before the full-paper deadline

Example prompts

  • “/icalp-submission”

Workflow steps

6 steps, taken from the first numbered list in SKILL.md.

  1. Confirm the track and the correct HotCRP server.
  2. Register title/abstract/authors/conflicts before the earlier registration cutoff.
  3. Freeze the 15-page body; make sure every theorem it states is fully proved in the appendix / full
  4. Run the anonymity + page-budget sweep on the final PDF, not a draft.
  5. Flag student-only authorship in HotCRP if eligible for the best student paper award.
  6. Re-download the uploaded PDF and read it cold to confirm it is the file you meant.

What it can do on your machine

Read from SKILL.md and the folder at commit 932eb23. It shows what the files ask for, not the result of running them.

  • Tool permissions

    Pre-approves nothing: there is no allowed-tools line, so your agent's usual permission prompts apply.

    From allowed-tools in the SKILL.md frontmatter.

  • Runs code

    Shell commands in SKILL.md call:

    • pdftotext

    From the folder's file list and the shell code blocks in SKILL.md.

  • Network

    No URLs in SKILL.md.

    From URLs in SKILL.md, links to its own repository left out.

  • Credentials

    Names no API keys, tokens, secrets or passwords.

    From names ending in _API_KEY, _TOKEN, _SECRET, _KEY or _PASSWORD in SKILL.md.

Context cost

Icalp Submission loads about 1.6k tokens when it runs. Until then it costs about 103 tokens; SKILL.md has 716 words of instructions outside code blocks.

Always · name and description, kept in context so the agent knows when to use it
~103
When it runs · the whole SKILL.md, loaded when a task matches
~1.6k

Estimates: characters ÷ 4, the usual rule of thumb; real counts depend on the model's tokenizer. Scripts and assets cost tokens only if the agent reads them.

Safety

Auto-check passed

The automated check found no risky patterns in SKILL.md.

Automated static check — not a guarantee. Review scripts before installing. It scans the text of SKILL.md for risky patterns (piping downloads into a shell, reading credential files, hidden Unicode, destructive commands); files beside SKILL.md are not scanned.

SKILL.md

The full file from brycewang-stanford/Awesome-Journal-Skills at commit 932eb23, republished under its MIT licence (© brycewang-stanford). 716 words, ~1,589 tokens.

Download SKILL.mdSave it as .claude/skills/icalp-submission/SKILL.md (or your agent's skills folder).
name
icalp-submission
description
Use when auditing an ICALP (EATCS) Track A or Track B submission for HotCRP readiness, covering the correct-track submission server, abstract registration before the full-paper deadline, the 15-page extended-abstract page budget with a clearly labelled appendix / full version, lightweight double-blind anonymity, the no-simultaneous-submission rule, and the single annual February AoE cutoff.

ICALP Submission

Run this audit before uploading to the ICALP HotCRP site. ICALP — the EATCS International Colloquium on Automata, Languages, and Programming — is a pure theory venue publishing open-access in LIPIcs, with a single annual deadline and two tracks on separate HotCRP servers. The paper is judged on its theorems and proofs, so this audit is about format, anonymity, and the body/appendix split, not about a runnable artifact. Every number below was read from the ICALP 2026 (53rd, Royal Holloway) call on 2026-07-09 via search renderings of the CFP (see resources/official-source-map.md); treat them as a one-cycle snapshot and reopen the live call.

Pick the right track first

ICALP has two tracks on two different HotCRP sites — submitting to the wrong one is a real, avoidable failure:

  • Track A — Algorithms, Complexity and Games → icalp2026-a.hotcrp.com.
  • Track B — Automata, Logic, Semantics and Theory of Programming → icalp2026-b.hotcrp.com.

If you are unsure, resolve it with icalp-topic-selection before touching HotCRP; the tracks have different program committees, and Track B carries a rebuttal while Track A does not.

The two-step deadline

ICALP separates abstract registration from full submission, both AoE:

  • Abstract registration (ICALP 2026: 3 February 2026) locks title, abstract, authors, and conflicts a few days early. Miss it and the system will not take the PDF later.
  • Full submission (ICALP 2026: 6 February 2026, AoE) uploads the anonymized PDF.

Register with the real title and abstract — the abstract drives PC bidding, and a placeholder quietly worsens your reviewer match.

Format and page budget

  • Extended abstract of at most 15 pages, excluding the bibliography and a clearly labelled appendix. The appendix may hold omitted proofs or a full version, read at the PC's discretion.
  • LIPIcs lipics-v2021 document class is an option but not required at submission in recent cycles (confirm per cycle); the camera-ready must be LIPIcs — so many authors write in LIPIcs from the start.
  • The 15-page limit is on the main body; do not pad the body to 15 and dump every proof into an unread appendix (see icalp-supplementary). Reviewers judge on the body.

Lightweight double-blind sweep

ICALP runs lightweight double-blind review: submissions are anonymous and self-references must be third person. This is a lightweight regime — the goal is an unbiased first read, not making authorship undiscoverable — but the mechanical leaks still cost you:

bash
# Mechanical pass on the submission PDF
pdfinfo paper.pdf | grep -Ei 'author|creator|producer'        # scrub identifying metadata
pdftotext paper.pdf - | grep -nEi 'acknowledg|thanks|this work was supported|grant (no|number)' | head
pdftotext paper.pdf - | grep -nEi 'in our (previous|earlier) (work|paper)|as we showed in' | head
pdftotext paper.pdf - | grep -nEi 'github\.com/[a-z0-9-]+|/home/|/Users/' | head

The theory-specific leaks: an acknowledgements block, a grant number, "in our previous work [12]" (rewrite as "in the work of [12]"), and an arXiv/ECCC identifier that de-anonymizes. It is fine for a full version to exist on arXiv — just do not point at it in a way that breaks the blind.

Show full SKILL.md (286 more words)Show less

The no-simultaneous-submission rule

ICALP forbids prior publication and simultaneous submission to any other conference or journal. A paper concurrently under review at STOC, FOCS, SODA, LICS, or a journal is ineligible. Posting a full version on arXiv/ECCC/HAL is allowed and normal — that is not "publication."

Desk-risk triage

Finding at audit timeSeverityReal fix
Body over 15 pages (excluding refs + appendix)Format-reject-gradeCompress the body; move detail to the appendix, not into the body count
Submitted to the wrong trackMis-review / rejectWithdraw and resubmit to the correct HotCRP server before the deadline
Author identity leaks (metadata, acks, first-person self-cite)Anonymity violationScrub metadata, remove acks, rewrite self-citations in third person
Abstract not registered by the earlier dateNo submission slot existsNothing fixes this post-AoE — calendar it now
Headline theorem has no complete proof anywhereSoundness-fatalWrite the full proof into the appendix / full version before upload
Same result under review at another venueDual-submission violationWithdraw one venue

Final-week order of operations

  1. Confirm the track and the correct HotCRP server.
  2. Register title/abstract/authors/conflicts before the earlier registration cutoff.
  3. Freeze the 15-page body; make sure every theorem it states is fully proved in the appendix / full version.
  4. Run the anonymity + page-budget sweep on the final PDF, not a draft.
  5. Flag student-only authorship in HotCRP if eligible for the best student paper award.
  6. Re-download the uploaded PDF and read it cold to confirm it is the file you meant.

Reverify each cycle

  • Both tracks' exact AoE dates and whether they share one deadline.
  • The page budget and whether the LIPIcs class is mandatory at submission this cycle.
  • The anonymity wording, the no-simultaneous-submission wording, and any AI-disclosure rule — all cycle-volatile.

Output format

text
[ICALP submission status] ready / blocked / needs work
[Track] A (algorithms/complexity/games) / B (automata/logic/semantics) — correct server? yes/no
[Registration] title/abstract/authors/conflicts locked by the earlier deadline? yes/no
[Format] body pages (<=15 excl. refs + appendix), LIPIcs class y/n
[Anonymity] clean / leaks: <where>
[Proofs] every headline theorem fully proved in appendix / full version? yes/no
[Fix queue] <ordered, with owners and dates before the AoE cutoff>

© brycewang-stanford, MIT. Rendered from Markdown: HTML in the file is shown as text, images as links, and headings moved down two levels. Raw file

Files

Just SKILL.md in ICALP-Skills/skills/icalp-submission of brycewang-stanford/Awesome-Journal-Skills.

Open the folder on GitHubat commit 932eb23

Compare with similar skills

Icalp Submission next to the 5 skills that share the most tags, products or categories with it. Stars are the repository's; “used in” counts other GitHub owners with a copy.

Icalp Submission compared with similar skills
SkillStarsUsed inTokensAuto-checkLicenceRepo updated
Icalp Submission this skillbrycewang-stanford/Awesome-Journal-Skills1.2k—~1.6kAutomated safety check: PassMIT
Production Auditaffaan-m/ECC277k1 repos~1.9kAutomated safety check: PassMIT
Aims Auditalirezarezvani/claude-skills28k—~1.3kAutomated safety check: PassMIT
Geo Auditsickn33/agentic-awesome-skills47k1 repos~3.4kAutomated safety check: NotesMIT
OmniRoute Audit and Policy CLIdiegosouzapw/OmniRoute75k—~733Automated safety check: PassMIT
Audit Preparationsickn33/agentic-awesome-skills47k1 repos~5.3kAutomated safety check: PassMIT

Similar skills

  • Production Audit

    affaan-m/ECC

    Local-evidence production readiness audit for shipped apps, pre-launch reviews, post-merge checks, and "what breaks in prod?" questions without sending repo data to an external audit service.

    277k GitHub starsUsed in 1 repo~1.9k tokens
    Product & Project ManagementAuto-check passed
  • Aims Audit

    alirezarezvani/claude-skills

    /cs:aims-audit <scope — ISO/IEC 42001 AIMS internal-audit 6-question forcing interrogation.

    28k GitHub stars~1.3k tokensUpdated 1 mo ago
    Legal & ComplianceAuto-check passed
  • Geo Audit

    sickn33/agentic-awesome-skills

    Full website GEO+SEO audit with parallel subagent delegation.

    47k GitHub starsUsed in 1 repo~3.4k tokens
    Marketing & SEOAuto-check: notes
  • OmniRoute Audit and Policy CLI

    diegosouzapw/OmniRoute

    Command reference for omniroute's audit, logs, policy and telemetry commands: search and export audit trails, manage access policies and review request history for compliance work.

    75k GitHub stars~733 tokensUpdated today
    SecurityAuto-check passed
  • Audit Preparation

    sickn33/agentic-awesome-skills

    Audit preparation register: required document, period covered, request and receipt dates, preparer and reviewer, auditor queries and adjustments.

    47k GitHub starsUsed in 1 repo~5.3k tokens
    Legal & ComplianceAuto-check passed
  • Qms Audit Expert

    davila7/claude-code-templates

    Senior QMS Audit Expert for internal and external quality management system auditing.

    33k GitHub starsUsed in 1 repo~2.7k tokens
    Legal & ComplianceAuto-check passed

More from brycewang-stanford/Awesome-Journal-Skills

All 2,387 skills in this repo
  • Aaag Data Analysis

    brycewang-stanford/Awesome-Journal-Skills

    A skill your agent uses when running and reporting the analysis for an Annals of the American Association of Geographers manuscript — spatial statistics and modeling, remote-sensing accuracy, or…

    1.2k GitHub stars~1.3k tokensUpdated 14 days ago
    Auto-check passed
  • Aaag Literature Positioning

    brycewang-stanford/Awesome-Journal-Skills

    A skill your agent uses when positioning an Annals of the American Association of Geographers manuscript in the literature — engaging geographic scholarship across the relevant area and the…

    1.2k GitHub stars~1.3k tokensUpdated 14 days ago
    Auto-check passed
  • Aaag Rebuttal

    brycewang-stanford/Awesome-Journal-Skills

    A skill your agent uses when responding to an Annals of the American Association of Geographers decision letter (major/minor revision) — building a point-by-point response to the subject editor and…

    1.2k GitHub stars~1.4k tokensUpdated 14 days ago
    Auto-check passed
  • Aaag Research Design

    brycewang-stanford/Awesome-Journal-Skills

    A skill your agent uses when defending the research design of an Annals of the American Association of Geographers manuscript — spatial/quantitative analysis and GIScience, remote-sensing and…

    1.2k GitHub stars~1.4k tokensUpdated 14 days ago
    Auto-check passed
  • Aaag Review Process

    brycewang-stanford/Awesome-Journal-Skills

    A skill your agent uses when you need to understand how the Annals of the American Association of Geographers evaluates a manuscript — double-anonymous review routed through a subject editor by…

    1.2k GitHub stars~1.3k tokensUpdated 14 days ago
    Auto-check passed
  • Aaag Submission

    brycewang-stanford/Awesome-Journal-Skills

    A skill your agent uses when running the final pre-submission preflight for the Annals of the American Association of Geographers via ScholarOne Manuscripts — area/article-type selection…

    1.2k GitHub stars~1.6k tokensUpdated 14 days ago
    Auto-check passed

Questions about Icalp Submission

What does Icalp Submission do?

A skill your agent uses when auditing an ICALP (EATCS) Track A or Track B submission for HotCRP readiness, covering the correct-track submission server, abstract registration before the full-paper…. Icalp Submission is an agent skill from brycewang-stanford/Awesome-Journal-Skills. Use when auditing an ICALP (EATCS) Track A or Track B submission for HotCRP readiness, covering the correct-track submission server, abstract registration before the full-paper deadline, the 15-page extended-abstract page budget with a clearly labelled appendix / full version, lightweight double-blind anonymity, the no-simultaneous-submission rule, and the single annual February AoE cutoff.

When should I use Icalp Submission?

Icalp Submission fits situations like: auditing an ICALP (EATCS) Track A; track B submission for HotCRP readiness; covering the correct-track submission server; abstract registration before the full-paper deadline.

How do I install Icalp Submission in Claude Code?

Run `npx skills add brycewang-stanford/Awesome-Journal-Skills --skill icalp-submission -a claude-code`. Or copy the skill folder (ICALP-Skills/skills/icalp-submission in brycewang-stanford/Awesome-Journal-Skills) into .claude/skills/icalp-submission in your project. Claude Code loads it when a task matches its description.

How do I install Icalp Submission in Codex?

Run `npx skills add brycewang-stanford/Awesome-Journal-Skills --skill icalp-submission -a codex`. Or copy the skill folder (ICALP-Skills/skills/icalp-submission in brycewang-stanford/Awesome-Journal-Skills) into .agents/skills/icalp-submission in your project. Codex loads it when a task matches its description.

Can I use Icalp Submission in Cursor, Gemini CLI or GitHub Copilot?

Cursor, Gemini CLI, GitHub Copilot and OpenCode also load SKILL.md folders. With the skills CLI, run `npx skills add brycewang-stanford/Awesome-Journal-Skills --skill icalp-submission -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/icalp-submission, .gemini/skills/icalp-submission, .github/skills/icalp-submission and .opencode/skills/icalp-submission in your project.

What does Icalp Submission need to run?

Going by SKILL.md and its folder, Icalp Submission needs the command-line tools its instructions call (pdftotext).

Does Icalp Submission access the network?

SKILL.md contains no URLs. Any network use would come from the scripts or tools the agent runs. This is read from the text; nothing was executed.

Is Icalp Submission safe to install?

Our automated static check of SKILL.md found no risky patterns, such as piping downloads into a shell, reading credential files or hidden Unicode. It is not a guarantee. Review the folder before installing.

What licence does Icalp Submission use?

Icalp Submission is published under the MIT licence (the repository's licence). It allows redistribution, so the full SKILL.md is shown on this page.

How many tokens does Icalp Submission use?

About 1.6k tokens (SKILL.md is roughly 6.4k characters). Agents keep only the skill's name and description in context until a task matches; then they load SKILL.md in full.

What are the alternatives to Icalp Submission?

Skills that share tags, products or a category with Icalp Submission: Production Audit (affaan-m/ECC, 277k stars), Aims Audit (alirezarezvani/claude-skills, 28k stars), Geo Audit (sickn33/agentic-awesome-skills, 47k stars) and OmniRoute Audit and Policy CLI (diegosouzapw/OmniRoute, 75k stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.

Who maintains Icalp Submission?

brycewang-stanford (a GitHub user) maintains it in brycewang-stanford/Awesome-Journal-Skills, which has 1,231 GitHub stars. The repository holds 2,387 skills in this directory. The repository was last updated on September 27, 2026.

Source: brycewang-stanford/Awesome-Journal-Skills on GitHub. Facts on this page come from the repository at the commit we read; the author's words are quoted as theirs.