posted by organizer: lberardinelli || 1027 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

ASYDE 2024   6th International Workshop on Automated and verifiable Software sYstem DEvelopment
IEEE-Ei/Scopus-ACEPE 2024   2024 IEEE Asia Conference on Advances in Electrical and Power Engineering (ACEPE 2024) -Ei Compendex
Ei/Scopus-AACIP 2024   2024 2nd Asia Conference on Algorithms, Computing and Image Processing (AACIP 2024)-EI Compendex
ICoSR 2024   2024 3rd International Conference on Service Robotics
SOMET 2025   24th International Conference on Intelligent Software Methodologies Tools and Techniques
ICoIV 2024   2024 International Conference on Intelligent Vehicles (ICoIV 2024)
IEA/AIE 2025   The 37th International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems
ACM-Ei/Scopus-AI2A 2024   2024 4th International Conference on Artificial Intelligence, Automation and Automation (AI2A 2024) -EI Compendex
WSIS - 2024   XV WORKSHOP ON INFORMATION SYSTEMS (WSIS)
ICSRS 2024   IEEE--2024 The 8th International Conference on System Reliability and Safety (ICSRS 2024)