tacas-workflow
Use when planning a TACAS (ETAPS) project timeline from category choice and venue fit through the EasyChair paper deadline, the mandatory tool-paper artifact deadline, the rebuttal window, notification, the voluntary post-acceptance artifact round, LNCS camera-ready, and presentation, with backward-planning offsets that account for TACAS's single annual round and its parallel paper+artifact review.
npx skills add brycewang-stanford/Awesome-Journal-Skills --skill tacas-workflow --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.
# TACAS Workflow Use this as the project-management skill for a TACAS submission. Replace every date with the current ETAPS joint schedule and work backwards from the **EasyChair paper deadline** — remembering that for a **tool or tool-demonstration** paper a second, firm **artifact deadline** lands about two weeks later and its evaluation runs **in parallel with the PC**. TACAS runs a **single annual review round** on the shared ETAPS calendar (it does not use ESOP's two rounds), so missing the deadline costs roughly a year. TACAS is a conference whose proceedings are an open-access LNCS volume: it has **no standing editor-in-chief** and **no author-facing APC**. Rotating leadership is the per-edition **PC chairs** and the **ETAPS steering committee**; the cost model is registration, and ETAPS funds the gold open access centrally. Chairs rotate yearly — re-check the current TACAS page rather than carrying a name forward. ## The reported TACAS 2026 timeline (verify on the live page) - **Paper submission:** 16 Oct 2025 (AoE). - **Mandatory artifact** (regular tool + tool-demonstration): 30 Oct 2025. - **Rebuttal / author response:** 8-10 Dec 2025. - **Notification:** 22 Dec 2025. -
- The reported TACAS 2026 timeline (verify on the live page)
- Milestones
- Backward plan from the paper deadline
- Failure modes by stage
- Coordination notes
- Output format
What does the tacas-workflow skill do?
Use when planning a TACAS (ETAPS) project timeline from category choice and venue fit through the EasyChair paper deadline, the mandatory tool-paper artifact deadline, the rebuttal window, notification, the voluntary post-acceptance artifact round, LNCS camera-ready, and presentation, with backward-planning offsets that account for TACAS's single annual round and its parallel paper+artifact review.
How do I install it?
Run `npx skills add brycewang-stanford/Awesome-Journal-Skills --skill tacas-workflow --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.