Categories |
FORMAL METHODS
EMBEDDED SYSTEMS
SOFTWARE ENGINEERING
SAFETY
|
About |
|
The Symposium on Dependable Software Engineering: Theories, Tools and Applications (SETTA) 2020 will be held in Guangzhou China on November 24-27, 2020. SETTA 2020 will be sponsored by Institute of Software Chinese Academy of Sciences and organised by Institute of Intelligent Software, Guangzhou. Formal methods emerged as an important area in computer science and software engineering about half a century ago. An international community is formed researching, developing and teaching formal theories, techniques and tools for software modeling, specification, design and verification. However, the impact of formal methods on the quality improvement of software systems in practice is lagging behind. This is for instance reflected by the challenges in applying formal techniques and tools to engineering large-scale systems such as Cyber-Physical Systems (CPS), Internet-of-Things (IoT), Enterprise Systems, Cloud-Based Systems, and so forth. The purpose of the SETTA is to bring international researchers together to exchange research results and ideas on bridging the gap between formal methods and software engineering. The interaction with the Chinese computer science and software engineering community is a central focus point. The aim is to show research interests and results from different groups so as to initiate interest-driven research collaboration. The SETTA is aiming at academic excellence and its objective is to become a flagship conference on formal software engineering in China. To achieve these goals and contribute to the sustainability of the formal methods research, it is important for the symposium to attract young researchers into the community. Thus, this symposium encourages in particular the participation of young researchers and students. This year, SETTA welcomes submissions to the following two tracks: Journal First Papers and Research Papers. All submissions must be in the PDF format. Papers should be written in English. Submitted papers must be unpublished and not submitted for publication elsewhere. Accepted papers for both tracks must be presented at the conference. |
Call for Papers |
|
Topics of interest include, but are not limited to:
|
Summary |
|
SETTA 2020 : Symposium on Dependable Software Engineering Theories, Tools and Applications will take place in Guangzhou, China. It’s a 4 days event starting on Nov 24, 2020 (Tuesday) and will be winded up on Nov 27, 2020 (Friday). SETTA 2020 falls under the following areas: FORMAL METHODS, EMBEDDED SYSTEMS, SOFTWARE ENGINEERING, SAFETY, etc. Submissions for this Symposium can be made by Jul 04, 2020. Authors can expect the result of submission by Aug 29, 2020. Upon acceptance, authors should submit the final version of the manuscript on or before Sep 22, 2020 to the official website of the Symposium. 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 SETTA 2020
|
Credits and Sources |
| [1] SETTA 2020 : Symposium on Dependable Software Engineering Theories, Tools and Applications |
