四天倒计时，SETTA会议你准备好了吗?

标题：四天倒计时!SETTA会议你准备好了吗?

开头：

SETTA 2024（Symposium on Dependable Software Engineering: Theories, Tools and Applications，可信软件工程：理论、工具与应用国际会议）是由中国科学院软件研究所（ISCAS）发起的国际性年度学术会议，至今已成功举办9届。SETTA是CCF-C类会议，第10届SETTA会议由香港城市大学承办，将于2024年11月26日至28日在中国香港举行。

会议地点：

中国香港，东方之珠，繁华璀璨，融汇古今。摩天大楼林立，维多利亚港夜景迷人，传统与现代交织成独特魅力。购物天堂，美食之都，文化交融的典范，自由开放的国际都市，吸引着世界各地的目光与脚步。

重要提醒

Deadline

Submit

应使用https://setta2024.hotcrp.com/ 提交电子材料。

研讨会主题：

1理论与技术、工具及其应用

•  探讨软件工程中的理论、技术和工具的具体应用。

•  深入理解这些理论、技术和工具对实际软件设计问题的影响、局限性以及它们能有效解决的实践问题。

2不同理论框架和技术间的关联

•  研究不同理论框架和技术之间的关系和共同基础。

•  讨论如何将这些理论框架和技术扩展到复杂系统的设计和验证中，以提升其应用范围。

3增强形式方法的相关性

•  提出关于如何增加形式方法在研究、开发和教育中的相关性的大胆想法。

•  探讨如何将这些想法转化为实践，以吸引更多的工程实践者关注和使用形式方法。

4形式技术在特定领域的应用研究

•  研究和实验形式技术和工具在特定领域（如软件工程、系统安全等）中的应用。

•  分析这些应用的实际效果，并探索进一步改进和优化的可能性。

研讨会议程

• 定期介绍与上述主题相关的研究成果；
• 正在进行的研究或项目的进度报告；
• 提出基础研究和技术开发所面临的挑战的立场文件；
• 形式化方法的工业应用和经验；
• 博士生的研究报告。