四天倒计时，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形式技术在特定领域的应用研究
• 研究和实验形式技术和工具在特定领域（如软件工程、系统安全等）中的应用。
• 分析这些应用的实际效果，并探索进一步改进和优化的可能性。
研讨会议程
- 定期介绍与上述主题相关的研究成果；
- 正在进行的研究或项目的进度报告；
- 提出基础研究和技术开发所面临的挑战的立场文件；
- 形式化方法的工业应用和经验；
- 博士生的研究报告。
