Agent skill · Code Review & Quality

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.

brycew6m878★ · +32/wk · 1 repos on radarProfile →
claude-codeMIT
Install
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.

Facts
Files in the skill folder: 1
SKILL.md size: 5 KB
Bundled scripts: none
Path: TACAS-Skills/skills/tacas-workflow/SKILL.md
Open the folder on GitHub →
Where it comes from
Stars: 909 · +31 this week
Language: Stata
Read our review of the source →

Weekly change comes from our own snapshots, not the repository page — it measures attention, not adoption.

From the SKILL.md

# 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. -

What's inside
Steps it walks through
  1. The reported TACAS 2026 timeline (verify on the live page)
  2. Milestones
  3. Backward plan from the paper deadline
  4. Failure modes by stage
  5. Coordination notes
  6. Output format
More from Awesome-Journal-Skills
All skills →
About this skill
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.

Keep going