Are you working on automated software development methods and techniques, compositional verification theories, integration architectures, flexible and dynamic composition, and automated planning mechanisms?
Submit your work at the 7th International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE) co-located with ASE 2025.
Paper Submission deadline: 26 August, 2025. Author Notification: 26 September, 2025.
More information can be found at the official website: https://asyde-series.github.io/asyde2025/
| Submissions: | August 26, 2025 |
| Notification: | September 26, 2025 |
| Event: | November 16, 2025-November 16, 2025 |