posted by user: sadegh_rk || 2848 views || tracked by 6 users: [display]

SETTA 2020 : Symposium on Dependable Software Engineering Theories, Tools and Applications

FacebookTwitterLinkedInGoogle

Link: http://lcs.ios.ac.cn/setta2020/index.html
 
When Nov 24, 2020 - Nov 27, 2020
Where Guangzhou, China
Submission Deadline Jul 4, 2020
Notification Due Aug 29, 2020
Final Version Due Sep 22, 2020
Categories    formal methods   embedded systems   software engineering   safety
 

Call For Papers

SETTA 2020

Symposium on Dependable Software Engineering
Theories, Tools and Applications
Guangzhou, China, November 24-27, 2020

CALL FOR PAPERS
LIST OF TOPICS

Topics of interest include, but are not limited to:

Requirements specification and analysis
Formalisms for modeling, design and implementation
Model checking, theorem proving, and decision procedures
Scalable approaches to formal system analysis
Formal approaches to simulation, run-time verification, and testing
Integration of formal methods into software engineering practice
Contract-based engineering of components, systems, and systems of systems
Formal and engineering aspects of software evolution and maintenance
Parallel and multicore programming
Embedded, real-time, hybrid, probabilistic, and cyber-physical systems
Mixed-critical applications and systems
Formal aspects of service-oriented and cloud computing
Safety, reliability, robustness, and fault-tolerance
Dependability of smart software and systems
Empirical analysis techniques and integration with formal methods
Applications and industrial experience reports
Software tools to assist the construction or analysis of software systems

RESEARCH PAPERS TRACK

Research papers will be published in the SETTA 2020 proceedings as a volume in Springer's LNCS series. Papers should be submitted electronically through the EasyChair submission web page https://easychair.org/conferences/?conf=setta2020.

Important Dates

Abstract & Paper Submission:   July 4, 2020 (AoE)
Notification to authors:  August 29, 2020 (AoE)
Camera-ready versions:  September 22, 2020 (AoE)
Conference date:  November 24-27, 2020

Submission Guidelines

Authors are invited to submit papers on original research, industrial applications, or position papers proposing challenges in fundamental research and technology. The latter two types of submissions are expected to contribute to the development of formal methods and applications thereof in software engineering. This is done by either substantiating the advantages of integrating formal methods into the development cycle or through delineating the need for research by demonstrating weaknesses of existing technologies, especially when addressing new application domains.

Submissions can take the form of either regular or short papers. Regular papers should not exceed 16 pages (excluding references) in LNCS format. Short papers can discuss ongoing research at an early stage, including PhD projects. Short papers should not exceed 6 pages (excluding references) in LNCS format.

Special Session

This year, we will also organise a special session on Artificial Intelligence Meets Formal Methods (AI+FM), in order to provide a platform for experts of both AI and FM, from both the academia and the industry, to discuss important research problems across these two areas, for example, how to apply AI to improve the performance of FM methods and how to apply FM to improve the robustness, safety and security of AI systems.

Extended abstracts of the accepted papers in this session will be published in the conference proceedings (a volume in Springer's LNCS series). Full versions of a few accepted papers, to be selected by the program committee, will be invited for submission to a special theme of the journal Formal Aspects of Computing (to be confirmed).
JOURNAL FIRST PAPERS TRACK

The journal first papers track of SETTA 2020 is implemented in partnership with the Journal of Computer Science and Technology (JCST). Accepted papers to this track will be presented and discussed at the conference SETTA 2020. Papers should be submitted electronically through the journal's submission web page https://mc03.manuscriptcentral.com/jcst.

Important Dates

Paper Submission:  March 27, 2020 (AoE)
Tentative acceptance decision:  May 18, 2020
Acceptance decision:  June 30, 2020
Conference date:  November 24-27, 2020

Submission Guidelines

To submit to this track, authors have to make a journal submission to the Journal of Computer Science and Technology, and select the type of submission to be for the SETTA 2020 special issue. It is recommended that submitted papers follow the submission guidelines of JCST https://www.springer.com/journal/11390/submission-guidelines and do not exceed 15 pages including references. All submissions must be done electronically through JCST's e-submission system at https://mc03.manuscriptcentral.com/jcst, with manuscript type: "Special Section on Software Systems 2020". In the cover letter, please indicate that the submission is intended to the special theme on "Dependable Software Engineering".

Related Resources

ACM--ICMLSC--EI Compendex, Scopus 2021   ACM--2021 The 5th International Conference on Machine Learning and Soft Computing (ICMLSC 2021)--EI Compendex, Scopus
SA-TTA 2021   The 9th track on Software Architecture: Theory, Technology, and Applications (SA-TTA) at the 36th ACM/SIGAPP Symposium On Applied Computing (SAC 2021)
NeCoM 2021   13th International Conference on Networks & Communications
SOFSEM 2021   47th International Conference on Current Trends in Theory and Practice of Computer Science
CCBD--Ei Compendex & Scopus 2021   2021 The 8th International Conference on Cloud Computing and Big Data (CCBD 2021)--Ei Compendex & Scopus
ACM--ADIP--EI Compendex, Scopus 2020   ACM--2020 2nd Asia Digital Image Processing Conference (ADIP 2020)--EI Compendex, Scopus
SEKE 2021   The Thirty Third International Conference on Software Engineering and Knowledge Engineering
JSS SI on Test Automation 2021   Special Issue on “Test Automation: Trends, Benefits, and Costs” - Journal of Systems and Software (Elsevier)
ACM--ICSCA--Ei, Scopus 2021   ACM--2021 10th International Conference on Software and Computer Applications (ICSCA 2021)--EI Compendex, Scopus