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

CLNLP 2022   2022 3rd International Conference on Computational Linguistics and Natural Language Processing (CLNLP 2022)
ASE 2022   37th IEEE/ACM International Conference on Automated Software Engineering
ICBDB 2022   2022 4th International Conference on Big Data and Blockchain(ICBDB 2022)
ICEMGD 2022   The 6th International Conference on Economic Management and Green Development (ICEMGD) Call for Papers
IJITCA 2022   International Journal of Information Technology, Control and Automation
Computer SI on SE4RAI 2023   IEEE Computer - Special Issue on Software Engineering for Responsible AI
SCOM 2022   10th International Conference on Soft Computing
ICSE 2023   45th International Conference on Software Engineering
IOP, EI, Scopus-EMECS 2022   2022 International Conference on Electronics, Mechanical Engineering and Computer Science (EMECS 2022)-EI Compendex
IDEAL 2022   23rd International Conference on Intelligent Data Engineering and Automated Learning