icalp-submission
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.
Profile →npx skills add brycewang-stanford/Awesome-Journal-Skills --skill icalp-submission --agent claude-code
Same command for any agent — swap --agent for codex, cursor, copilot.
Weekly change comes from our own snapshots, not the repository page — it measures attention, not adoption.
# 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, anony
What does the icalp-submission skill do?
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.
How do I install it?
Run `npx skills add brycewang-stanford/Awesome-Journal-Skills --skill icalp-submission --agent claude-code` — it drops the skill into your project so the agent can pick it up. Swap the --agent value for codex, cursor or copilot if you use one of those.
Where does this skill come from?
From brycewang-stanford/Awesome-Journal-Skills, a repository with 909 stars. We read it straight from the repository tree rather than a submitted listing, so what you see here is what is actually published.
Is a popular skill a good skill?
Not necessarily. Stars measure attention, not adoption — a repository can trend for a week and be abandoned. That is why we show the weekly change from our own snapshots next to the total, instead of a single flattering number.