ASYDE 2022 : Automated and verifiable Software sYstem DEvelopment

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

ICSRS 2023 IEEE--2023 The 7th International Conference on System Reliability and Safety (ICSRS 2023)

CLNLP 2023 2023 4th International Conference on Computational Linguistics and Natural Language Processing (CLNLP 2023)

SecDev 2023 IEEE Secure Development Conference

ICBDB 2023 2023 5th International Conference on Big Data and Blockchain(ICBDB 2023)

SRSE 2023 IEEE 2023 The 5th International Conference on System Reliability and Safety Engineering (IEEE SRSE 2023)

IARCE 2023 2023 7th International Conference on Industrial Automation, Robotics and Control Engineering (IARCE 2023)

TechDev 2023 2023 12th International Conference on Computer Technologies and Development (TechDev 2023)

CFIMA 2023 2023 3rd International Conference on Frontiers of Intelligent Manufacturing and Automation (CFIMA 2023)

ASE 2023 38th IEEE/ACM International Conference on Automated Software Engineering

CMCA 2023 12th International Conference on Control, Modelling, Computing and Applications