|
|
|
| |||||||||||||
ASYDE 2022 : Automated and verifiable Software sYstem DEvelopment | |||||||||||||
| Link: https://sefm-conference.github.io/2022/ | |||||||||||||
| |||||||||||||
Call For Papers | |||||||||||||
|
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 4th International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE) co-located with SEFM 2022 (https://sefm-conference.github.io/2022/). Paper Submission deadline: 14th August, 2022. Author Notification: 1st September, 2022. ASYDE 2022 is supported by GFaI (https://www.gfai.de/) More information can be found at the official website: https://asyde-series.github.io/asyde2022/ #softwareengineering #asyde #SEFM |
|
