ASYDE 2023 : International Workshop on Automated and verifiable Software sYstem DEvelopment
ASYDE 2023 : International Workshop on Automated and verifiable Software sYstem DEvelopment

ASYDE 2023 : International Workshop on Automated and verifiable Software sYstem DEvelopment

Kirchberg, Luxembourg
Event Date: September 11, 2023 - September 11, 2023
Submission Deadline: July 22, 2023
Notification of Acceptance: August 13, 2023
Camera Ready Version Due: August 18, 2023

Call for Papers

During the last three decades, automation in software development has gone mainstream. Software development teams strive to automate as much of the software development activities as possible, spanning requirements specification, system modeling, code generation, testing, deployment, verification, as well as release phases, project status reporting and system maintenance. Automation helps to reduce development time and cost, as well as to concentrate knowledge by bringing quality into every step of the development process.

Realizing high-quality software systems requires producing software that is efficient, error-free, cost-effective, and that satisfies evolving requirements. Thus, one of the most crucial factors impacting software quality concerns not only the automation of the development process but also the ability to verify the outcomes of each process activity and the goodness of the resulting software product as well.
This becomes particularly true these days when we are, and will be, increasingly surrounded by a virtually infinite number of software artifacts -- often underspecified -- that can be composed to build new applications.

This situation radically changes the way software will be produced and used:
- software is increasingly produced according to a certain goal, that can change during the system's execution, and by integrating existing software;
- the focus of software production is then on the ability to perform automated reasoning to achieve software integration and development that can be kept always correct-by-construction via static and dynamic verification.

This calls for automated software development methods and techniques, compositional verification theories, integration architectures, as well as, automated flexible and dynamic composition, and development mechanisms.

ASYDE 2023 aims to provide a forum to share and discuss innovative contributions to research and practice related to novel software engineering approaches to automated and verifiable development of software systems.

Topics of interest include, but are not limited to, the following:
- Automated software development, verification and integration, for example, Automated synthesis of software integration code, Formal methods for automated software - development, Automated and verifiable software development, Software quality assurance for automated software development
- Specification, architecture, and design of software and verification models
- Description and validation of Non-functional properties of software
- Dynamic verification and testing
- Correct-by-construction software development
- Compositional theories for software development and its (dynamic) verification
- Service-oriented and Component-based software development
- Serverless-based systems development
- Model-driven software development
- Microservices, for example, Formal specification of (micro)services, Formal models for microservices, Methods and tools for (semi)-automatically migrating monolithic systems to component-based or microservice-based systems
- Automated planning methods
- Machine learning and AI techniques
- Automatic methods for the development and verification of smart contracts


ASYDE 2023 : International Workshop on Automated and verifiable Software sYstem DEvelopment will take place in Kirchberg, Luxembourg. It’s a 1 day event starting on Sep 11, 2023 (Monday) and will be winded up on Sep 11, 2023 (Monday).

ASYDE 2023 falls under the following areas: COMPUTER SCIENCE, SOFTWARE ENGINEERING, etc. Submissions for this Workshop can be made by Jul 22, 2023. Authors can expect the result of submission by Aug 13, 2023. Upon acceptance, authors should submit the final version of the manuscript on or before Aug 18, 2023 to the official website of the Workshop.

Please check the official event website for possible changes before you make any travelling arrangements. Generally, events are strict with their deadlines. It is advisable to check the official website for all the deadlines.

Other Details of the ASYDE 2023

  • Short Name: ASYDE 2023
  • Full Name: International Workshop on Automated and verifiable Software sYstem DEvelopment
  • Timing: 09:00 AM-06:00 PM (expected)
  • Fees: Check the official website of ASYDE 2023
  • Event Type: Workshop
  • Website Link:
  • Location/Address: Kirchberg, Luxembourg

Credits and Sources

[1] ASYDE 2023 : International Workshop on Automated and verifiable Software sYstem DEvelopment

Check other Conferences, Workshops, Seminars, and Events


CYBI 2024: 11thInternational Conference on Cybernetics & Informatics
Melbourne, Australia
Apr 20, 2024
ITCC 2024: ACM--2024 6th International Conference on Information Technology and Computer Communications (ITCC 2024)
Oct 25, 2024
Informed ML for Complex Data@ESANN 2024: Informed Machine Learning for Complex Data special session at ESANN 2024
Bruges, Belgium
Oct 9, 2024
Web3D 2024 2024: 3D Technologies for the World Wide Web
Guimarães, Portugal
Sep 25, 2024
HUMAD 2024: [Scopus] [ACM] International Workshop on Human-Centered Modeling and Adaptation for Digital Transformation
Cagliari, Italy; also online
Jul 1, 2024


AREA 2024: 4th Workshop on Agents and Robots for reliable Engineered Autonomy
Santiago de Compostela
Oct 19, 2024
ADIP 2024: 2024 6th Asia Digital Image Processing Conference (ADIP 2024)
Tokyo, Japan
Dec 14, 2024
ICSESS 2024: 2024 15th International Conference on Software Engineering and Service Science
Aug 24, 2024
IT-Tage 2024: IT-Tage - IT-Konferenz für Software-Entwicklung, -Architektur, KI, Datenbanken, DevOps, Agile und Management
Frankfurt am Main
Dec 9, 2024
ICVIP--EI 2024: 2024 The 8th International Conference on Video and Image Processing (ICVIP 2024)
Kuala Lumpur, Malaysia
Dec 13, 2024