探讨“面向大型基础软件的形式化验证技术”CCF秀湖会议第十八期今日开幕！

文章预览

2024年8月9日，第十八期CCF秀湖会议在苏州CCF业务总部 & 学术交流中心正式拉开帷幕，会议为期四天，就“面向大型基础软件的形式化验证技术”进行深入交流和探讨。 ▲部分与会专家合影▲ 2024年8月9日，第十八期CCF秀湖会议在苏州CCF业务总部 & 学术交流中心正式拉开帷幕，会议为期四天，就“ 面向大型基础软件的形式化验证技术 ”进行深入交流和探讨。CCF会士、中国科学院院士、上海华科智谷人工智能研究院院长 何积丰 ，CCF会士、中国科学院院士、中国科学院软件研究所研究员 林惠民 等20余位专家出席会议。秀湖会议AC副主席、苏州大学教授 朱巧明 在开幕式上致辞。本次会议的执行主席北京大学 胡振江 教授、北京大学 詹乃军 教授、上海交通大学 陈海波 教授主持了会议。 ▼朱巧明教授致辞▼ 随着数字化和智能化设备的广泛普及，操作系统 ………………………………