[AISWorld] ASYDE 2023: 5th International Workshop on Automated and verifiable Software sYstem DEvelopment

[Farnaz Fotrousi]

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 5th International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE) co-located
with ASE 2023 (https://conf.researchr.org/home/ase-2023).

Paper Submission deadline: 28 July, 2023.
Author Notification: 18 August, 2023.

More information can be found at the official website: https://asyde-series.github.io/asyde2023/

#softwareengineering #asyde #ASE

--