Conference · International Workshop on Specification-Driven Development Life Cycle
SpecOps 2026
Official page- Type
- Conference
- Organisation
- International Workshop on Specification-Driven Development Life Cycle
- Location
- Oakland, California, United States
- Takes place
- 6 October 2026
- Found
- 26 September 2026
About this listing
International Workshop on Specification-Driven Development Life Cycle. Held in Oakland, California, United States. First edition, on closing the specification gap when AI tools and autonomous agents turn specifications into the driver of the development life cycle. Held with SPLASH 2026. Topics: formal methods, verification, program synthesis, programming languages. Listed by PLFM (https://pl-fm.github.io/, MIT).
Last checked 6 October 2026. Found via PLFM (pl-fm.github.io).