Conference Information
SETTA 2023: Symposium on Dependable Software Engineering: Theories, Tools and Applications
https://lcs.ios.ac.cn/setta2023/Submission Date: |
2023-08-17 |
Notification Date: |
2023-10-05 |
Conference Date: |
2023-11-27 |
Location: |
Nanjing, China |
CCF: c Viewed: 12536 Tracked: 7 Attend: 0
Call For Papers
BACKGROUND AND OBJECTIVES The Symposium on Dependable Software Engineering: Theories, Tools and Applications (SETTA) 2023 will be held in Nanjing on November 27-29, 2023. Formal methods emerged as an important area in computer science and software engineering about half a century ago. An international community has 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 and improvement of software systems is, in practice, 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 symposium is to bring international researchers together to exchange research results and ideas on bridging the gap between formal methods and software engineering. SETTA will show research interests and results from different groups so as to initiate interest-driven research collaboration. It 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 particularly encourages the participation of young researchers and students. 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. 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. 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
Last updated by Dou Sun in 2023-05-14
Related Conferences
Short | Full Name | Submission | Conference |
---|---|---|---|
ICNNE | International Conference on Nanotechnology and Nanomaterials in Energy | 2022-02-01 | 2022-03-23 |
DLT | International Conference on Developments in Language Theory | 2018-05-07 | 2018-09-10 |
6GNet | International Conference on 6G Networking | 2023-05-22 | 2023-10-18 |
SMBQ | Summer School on Machine Learning and Big Data with Quantum Computing | 2020-08-15 | 2020-09-07 |
CRIS | International Conference on Cryptography and Information Security | 2023-05-06 | 2023-05-20 |
ISSMAS | International Symposium on Sensors, Mechatronics and Automation System | 2020-01-15 | 2020-02-21 |
SoftTech | International Conference on Software Technology | 2016-03-22 | 2016-04-22 |
BDIOT' | International Conference on Big Data and Internet of Things | 2022-03-30 | 2022-08-12 |
EEI' | International Conference on Emerging Trends in Electrical, Electronics & Instrumentation Engineering | 2023-02-04 | 2023-03-11 |
ICAMMCE' | International Conference on Applied Mechanics, Materials and Civil Engineering | 2020-06-24 | 2020-09-20 |
Related Journals
CCF | Full Name | Impact Factor | Publisher | ISSN |
---|---|---|---|---|
Concurrent Engineering: Research and Applications | SAGE | 1063-293X | ||
International Journal of Advanced Mechanical Engineering & Applications | AR Publication | 0000-0000 | ||
International Journal of Computer Science, Engineering and Applications | AIRCC | 2231-0088 | ||
Annals of Software Engineering | Springer | 1022-7091 | ||
a | ACM Transactions on Software Engineering and Methodology | 2.057 | ACM | 1049-331x |
b | Empirical Software Engineering | 2.522 | Springer | 1382-3256 |
c | Journal of Web Engineering | Rinton Press | 1540-9589 | |
b | Automated Software Engineering | 1.273 | Springer | 0928-8910 |
ACM SIGSOFT Software Engineering Notes | ACM | 0163-5948 | ||
International Journal of Agent-Oriented Software Engineering | Inder Science Publishers | 1746-1375 |
Full Name | Impact Factor | Publisher |
---|---|---|
Concurrent Engineering: Research and Applications | SAGE | |
International Journal of Advanced Mechanical Engineering & Applications | AR Publication | |
International Journal of Computer Science, Engineering and Applications | AIRCC | |
Annals of Software Engineering | Springer | |
ACM Transactions on Software Engineering and Methodology | 2.057 | ACM |
Empirical Software Engineering | 2.522 | Springer |
Journal of Web Engineering | Rinton Press | |
Automated Software Engineering | 1.273 | Springer |
ACM SIGSOFT Software Engineering Notes | ACM | |
International Journal of Agent-Oriented Software Engineering | Inder Science Publishers |
Recommendation