posted by organizer: lberardinelli || 903 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 2023   International Workshop on Automated and verifiable Software sYstem DEvelopment
IEEE Xplore-Ei/Scopus-CTISC 2024   2024 6th International Conference on Advances in Computer Technology, Information Science and Communications (CTISC 2024) -EI Compendex
WWC 2024   WeAreDevelopers - World Congress 2024
ICoIV 2024   2024 International Conference on Intelligent Vehicles (ICoIV 2024)
Euro-Par 2024   30th International European Conference on Parallel and Distributed Computing
ISoIRS 2024   2024 4th International Symposium on Intelligent Robotics and Systems (ISoIRS 2024)
ISD 2024   The 32nd International Conference on Information Systems Development
ICIAI 2024   2024 the 8th International Conference on Innovation in Artificial Intelligence (ICIAI 2024)
HongKong-IDITR 2024   2024 3rd International Conference on Innovations and Development of Information Technologies and Robotics (IDITR 2024)
Scopus-IDITR 2024   2024 3rd International Conference on Innovations and Development of Information Technologies and Robotics (IDITR 2024)