SpecOps 2026 is the 1st International Workshop on Specification-Driven Development Life Cycle, co-located with ISSTA 2026 (part of SPLASH/ISSTA 2026 in Oakland).

Scope, in one line: how foundation models and agentic AI can synthesize, validate, and operationalize specifications across the development lifecycle — closing the "specification gap" through AI-powered tooling. Squarely on the intersection of software engineering, programming languages, formal methods, and AI.

• When: October 6-8, 2026 (tentative; verify closer to date)
• Where: Oakland Marriott City Centre, Oakland, CA
• Co-located with: ISSTA 2026 (part of SPLASH/ISSTA 2026)
• Site: conf.researchr.org/home/splash-issta-2026/specops-2026

• Abstract submission (optional): Tue Jun 23, 2026 AoE
• Full paper submission: Tue Jun 30, 2026 AoE
• Author notification: Wed Jul 15, 2026 ← just passed (T-1 relative to this note)
• Camera-ready due: Thu Jul 30, 2026
• Workshop: Oct 6-8, 2026

Accepted-paper list: not yet published on the workshop page (notifications went out Jul 15, so the list should appear in the next 1-2 weeks).

• Rajdeep Mukherjee — Amazon (co-chair)
• Anastasia Mavridou — KBR / NASA Ames (co-chair)
• Saikat Dutta — Cornell University (co-chair)
• Yangtian Zi — Northeastern University (web chair)

• The site's agent-context / agentic-systems / annotation-methodology threads all touch spec-synthesis-from-LLM territory. If the accepted-paper list lands, cross-link individual papers into those threads.
• Overlaps with the formal-methods research thread (see site/research/annotation-systems/spec.org and adjacent) — specifically the "generate + validate specs" line of work.
• Northeastern web chair — one degree of separation from Boston.

• [ ] Refresh once accepted-paper list is posted (~end of July 2026).
• [ ] Watch for a video/slides release after Oct 8; capture into the FM/agents research index.
• [ ] Cross-link from splash/2026/index.org once program is finalized.