Conference Information
SETTA 2024: Symposium on Dependable Software Engineering: Theories, Tools and Applications
https://setta2024.cs.cityu.edu.hk/Submission Date: |
2024-08-16 |
Notification Date: |
2024-09-30 |
Conference Date: |
2024-11-26 |
Location: |
Hong Kong, China |
CCF: c Viewed: 20896 Tracked: 19 Attend: 11
Call For Papers
Formal methods emerged as a disciple area in computer science and software engineering 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 the theories, techniques and tools on the improvement of qualities of the daily used software systems is far from being convincing to software engineering practitioners. The gap between the development of formal methods and the advances in software technologies is not being seen becoming narrower. More precisely, the relation between formal methods and software technologies is not clearly understood. This is clearly reflected by the challenges in application of formal techniques and tool in engineering large-scale systems with multi-dimensional complexities. Large systems include Cyber-Physical Systems (CPS), Networks of Things, Enterprise Systems, Cloud-Based Systems, etc. This background is the motivation of this Symposium on Foundations, Practice and Trends in Formal Software Engineering Methods. The theme of the symposium is to promote research sharing, exchange of ideas and discussions on Theories, techniques, tools and their applications, the understanding on their impacts, weakness and what practical problems in software design they can solve effectively. Relations and common foundations of difference theoretical frameworks and their techniques so as to scale up their application to handle complex system design and verification; "Big and bold" ideas about how to make it more relevant to engineering practitioners by advancing formal methods research and development and improving education; Research and experiments on domain specific applications of formal techniques and tools. The program of the symposium will consist of regular presentations on research findings related to the above thematic points, reports of progress of ongoing research and/or projects, position papers that propose challenges in fundamental research and technology development, industrial application cases and experiences of application of formal methods, presentations from PhD students on their research. The purpose of the symposium is to bring international researchers to exchange research results and ideas with the Chinese computer science and software engineering community. It is the hope to develop understanding of the research of different groups so as to build up closer and interest-driven research collaboration. The symposium is aiming at its academic excellence and its objective is to grow up to become a flagship conference on formal software engineering conference 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 participation of young researchers and students.
Last updated by Dou Sun in 2024-05-12
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 | 2024-05-13 | 2024-10-21 |
SoftTech | International Conference on Software Technology | 2016-03-22 | 2016-04-22 |
ICAMMCE' | International Conference on Applied Mechanics, Materials and Civil Engineering | 2020-06-24 | 2020-09-20 |
CRIS | International Conference on Cryptography and Information Security | 2023-05-06 | 2023-05-20 |
EEI' | International Conference on Emerging Trends in Electrical, Electronics & Instrumentation Engineering | 2023-02-04 | 2023-03-11 |
SMBQ | Summer School on Machine Learning and Big Data with Quantum Computing | 2020-08-15 | 2020-09-07 |
BDIOT' | International Conference on Big Data and Internet of Things | 2024-08-05 | 2024-09-14 |
ISSMAS | International Symposium on Sensors, Mechatronics and Automation System | 2020-01-15 | 2020-02-21 |
Related Journals
CCF | Full Name | Impact Factor | Publisher | ISSN |
---|---|---|---|---|
International Journal of Information Technology Convergence and Services | AIRCC | 2231-1939 | ||
ACM Transactions on Accessible Computing | 2.500 | ACM | 1936-7228 | |
Computer Methods and Programs in Biomedicine | 4.900 | Elsevier | 0169-2607 | |
b | Journal of Functional Programming | 1.100 | Cambridge University Press | 0956-7968 |
c | IET Information Security | 1.300 | IET | 1751-8709 |
International Journal on Bioinformatics & Biosciences | AIRCC | 1839-9614 | ||
IEEE Transactions on Smart Grid | 8.600 | IEEE | 1949-3053 | |
Optical Materials | 3.800 | Elsevier | 0925-3467 | |
Information Technology and Management | 2.300 | Springer | 1385-951X | |
a | Journal of Cryptology | 2.300 | Springer | 0933-2790 |
Full Name | Impact Factor | Publisher |
---|---|---|
International Journal of Information Technology Convergence and Services | AIRCC | |
ACM Transactions on Accessible Computing | 2.500 | ACM |
Computer Methods and Programs in Biomedicine | 4.900 | Elsevier |
Journal of Functional Programming | 1.100 | Cambridge University Press |
IET Information Security | 1.300 | IET |
International Journal on Bioinformatics & Biosciences | AIRCC | |
IEEE Transactions on Smart Grid | 8.600 | IEEE |
Optical Materials | 3.800 | Elsevier |
Information Technology and Management | 2.300 | Springer |
Journal of Cryptology | 2.300 | Springer |
Recommendation