Conferences Journals Workshops Seminars
IMPACT SCORE JOURNAL RANKING CONFERENCE RANKING Conferences Journals Workshops Seminars SYMPOSIUMS MEETINGS BLOG LaTeX 5G Tutorial Free Tools
Home Categories About Call for Papers


ASYDE 2020 : Automated and verifiable Software sYstem DEvelopment
ASYDE 2020 : Automated and verifiable Software sYstem DEvelopment

ASYDE 2020 : Automated and verifiable Software sYstem DEvelopment

Amsterdam, The Netherlands
Event Date: September 15, 2020 - September 15, 2020
Abstract Submission Deadline: June 09, 2020
Submission Deadline: June 16, 2020
Notification of Acceptance: July 21, 2020





About

ASYDE 2020 is the 2nd International Workshop on Automated and verifiable Software sYstem DEvelopment, co-located with the 18th International Conference on Software Engineering and Formal Methods (SEFM 2020).

ASYDE 2020 provides a forum for researchers and practitioners to propose and discuss on automated software development methods and techniques, compositional verification theories, integration architectures, flexible and dynamic composition, and automated planning mechanisms.

The mission of the ASYDE workshop is to consolidate interest of the SEFM community and related forums on the interplay between software engineering and formal aspects of automated and verifiable software system development.

ASYDE 2020 welcomes research papers, (industrial) experience papers and case-studies, tool demonstrations and visionary papers; nevertheless, papers describing novel research contributions and innovative applications are of particular interest.

Call for Papers

TOPICS

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


Credits and Sources

[1] ASYDE 2020 : Automated and verifiable Software sYstem DEvelopment


Check other Conferences, Workshops, Seminars, and Events


OTHER SOFTWARE ENGINEERING EVENTS
ChapelCon 2025: The Chapel Event of the Year
Virtual
Oct 7, 2025
ICMIP--EI 2026: 2026 11th International Conference on Multimedia and Image Processing (ICMIP 2026)
Sapporo, Japan
Apr 25, 2026
ICSIE 2026: 2026 14th International Conference on Software and Information Engineering (ICSIE 2026)
Himeji, Japan
Jan 16, 2026
ICNT--EI 2026: 2026 8th International Conference on Network Technology (ICNT 2026)
Himeji, Japan
Jan 16, 2026
ICoSSE 2026: 2026 9th International Conference on Software and System Engineering (ICoSSE 2026)
Lyon, France
Apr 13, 2026
SHOW ALL

OTHER FORMAL METHODS EVENTS
MEMOCODE 2025: 23rd ACM/IEEE International Symposium on Formal Methods and Models for System Design (FMCPS) Deadline Extended (Final)
Taipei, Taiwan
Oct 2, 2025
SBMF 2025: 28th Brazilian Symposium on Formal Methods
Recife, Brazil
Dec 3, 2025
MEMOCODE 2025: 23rd ACM/IEEE International Symposium on Formal Methods and Models for System Design (FMCPS)
Taipei, Taiwan
Oct 2, 2025
FMAS 2025: 7th International Workshop on Formal Methods for Autonomous Systems
Paris
Nov 17, 2025
iFM 2025: 20th International Conference on Integrated Formal Methods
Paris, France
Nov 19, 2025
SHOW ALL

OTHER MACHINE LEARNING EVENTS
ArIT 2025: 6th International Conference on Advances in Artificial Intelligence Techniques
Toronto, Canada
Jul 19, 2025
ICSIE--EI 2026: 2026 14th International Conference on Software and Information Engineering (ICSIE 2026)
Himeji, Japan
Jan 16, 2026
ICoSSE--Ei 2026: 2026 9th International Conference on Software and System Engineering (ICoSSE 2026)
Lyon, France
Apr 13, 2026
ICHCSC 2025: 4th International Conference on Human-Centric Smart Computing (ICHCSC 2025)
Jaipur, India
Oct 10, 2025
CMLA 2025: 7th International Conference on Machine Learning & Applications
Toronto, Canada
Jul 19, 2025
SHOW ALL