posted by organizer: lberardinelli || 791 views || tracked by 1 users: [display]

ASYDE 2022 : Automated and verifiable Software sYstem DEvelopment

FacebookTwitterLinkedInGoogle

Link: https://sefm-conference.github.io/2022/
 
When Sep 28, 2022 - Sep 30, 2022
Where Computer Science Humboldt Univ. Berlin
Submission Deadline Aug 14, 2022
Notification Due Sep 1, 2022
Categories    automated software development   compositional verification   integration architectures   automation
 

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

Related Resources

ICCRD--EI 2024   2024 The 16th International Conference on Computer Research and Development (ICCRD 2024)
CLNLP 2023   2023 4th International Conference on Computational Linguistics and Natural Language Processing (CLNLP 2023)
ASE 2023   38th IEEE/ACM International Conference on Automated Software Engineering
ICBDB 2023   2023 5th International Conference on Big Data and Blockchain(ICBDB 2023)
ICSD 2023   11th International Conference on Sustainable Development, 6 - 7 September Rome, Italy
IARCE 2023   2023 7th International Conference on Industrial Automation, Robotics and Control Engineering (IARCE 2023)
ICSE 2024   The IEEE/ACM International Conference on Software Engineering (Second Round)
CFIMA 2023   2023 3rd International Conference on Frontiers of Intelligent Manufacturing and Automation (CFIMA 2023)
CNWC 2023   2023 International Conference on Computer Networks and Wireless Communication (CNWC 2023)
IDEAL 2023   24th International Conference on Intelligent Data Engineering and Automated Learning