[fg-arc] Request to distribute: CFP: 1st International Workshop on Specification-Driven Development Lifecycle (SpecOps 2026) @ SPLASH/ISSTA 2026

[Yangtian Zi]

Dear mailing list maintainers,

We would be grateful if you could distribute the following message.

Please let me know if any changes are needed to meet the posting guidelines.

Thank you for your time.

Best regards,
Yangtian Zi
Northeastern University
SpecOps 2026 Web Chair

----------------------------------------------------------------------------------------------------------------------------------

Hi everyone,

We wanted to give you a heads-up that the deadline for SpecOps submissions is one month away — falling on June 15, 2026. We encourage you to use this time to finalize and review your submissions before the date arrives.

SpecOps CfP: https://conf.researchr.org/home/splash-issta-2026/specops-2026#Call-for-Papers

Please don't leave it to the last minute — early submissions are always welcome!

If you have any questions or need assistance, feel free to reach out. We're happy to help.

Best regards,

SpecOps 2026 Program Committee
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.uni-paderborn.de/pipermail/fg-arc/attachments/20260523/d0a50d7c/attachment.html>