ASYDE 2022 : Automated and verifiable Software sYstem DEvelopment

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

FSE 2027 The ACM International Conference on the Foundations of Software Engineering

Ei/Scopus-AI2A 2026 2026 IEEE 6th International Conference on Artificial Intelligence, Automation and Algorithms (AI2A 2026)

SSSD 2026 2026 International Conference on Smart Society and Sustainable Development

NAOME 2026 2026 International Conference on Naval Architecture and Ocean & Marine Engineering

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

MECN 2026 7th International Conference on Mechanical Engineering

Springer ICEES 2027 Springer--2027 The 11th International Conference on Energy and Environmental Science (ICEES 2027)

UBIC 2026 17th International Conference on Ubiquitous Computing

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

CoNGA 2026 The Seventh Conference on Next Generation Arithmetic