ASYDE 2022 : Automated and verifiable Software sYstem DEvelopment

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

ASYDE 2022 : Automated and verifiable Software sYstem DEvelopment

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

EACL System Demonstrations 2027 System Demonstrations at the Conference of the European Chapter of the Association for Computational Linguistics (EACL) 2027

BLKCA 2026 4th International Conference on Blockchain and Applications

ASYDE 2026 8th International Workshop on Automated and verifiable Software sYstem DEvelopment

JCCME 2026 2026 5th International Joint Conference on Civil and Marine Engineering (JCCME 2026)

Applied System Innovation 2026 Special Issue: AI-Driven Computational Methods for Social Media Analysis

IEEE CSPE 2026 IEEE--2026 International Conference on Computational Science and Power Engineering (CSPE 2026)

IEAI 2027 2027 The 8th International Conference on Industrial Engineering and Artificial Intelligence (IEAI 2027)

MSIE--EI 2027 2027 9th International Conference on Management Science and Industrial Engineering (MSIE 2027)

ICBSR 2026 2026 International Conference on Bio-inspired System and Robotics (ICBSR 2026)

IEEE ICTTE 2026 IEEE--2026 15th International Conference on Transportation and Traffic Engineering (ICTTE 2026)