7月31日，高可信软件技术论坛在合肥举办。CCF合肥作为本次论坛承办单位之一深度参与本期活动，与业界顶级大咖共同探讨智能时代的未来发展，让与会嘉宾深刻感知数据智能技术的创新与应用成果。

步入2021年，“数智化时代”元年开启，大数据与人工智能成为了新的生产要素，将引领未来发展。7月31日下午举办“高可信软件技术论坛”。本次论坛是在安徽省经济和信息化厅的指导下，由中国科学技术大学计算机科学与技术学院、CCF形式化专委会主办，由CCF合肥分部、科大国创与上海控安、中科国创高可信联合承办的高可信软件技术主题尖端论坛。中国科学院院士何积丰，安徽省经济和信息化厅党组成员、副厅长柯文斌，中国科学技术大学计算机科学与技术学院执行院长李向阳，科大国创董事长董永东等领导出席论坛并致辞。

会上，南京大学教授冯新宇、中科院软件所研究员詹乃军、浙江大学教授赵永望分别作主旨报告，就软件分析和验证等前沿技术分享了自己的见解和研究、应用成果。

南京大学冯新宇教授作《上下文精化验证及其应用》的主旨报告

中科院软件所詹乃军研究员作《信息物理融合系统中的时间延迟分析》的主旨报告

浙江大学赵永望教授以线上形式作《操作系统形式化验证技术》的主旨报告

论坛还启动了高可信软件工具链的发布仪式，旨在汇聚行业之资源，推动高可信软件的国产化替代，为用户提供全面可信的测试服务，不断推动高可信软件的商业化应用和发展。

本次论坛还邀请专家学者——中科院软件研究所张健研究员，用户代表——华为软件工程应用技术实验室夏鑫主任、卡斯柯信号有限公司测试中心刘锦峰副主任，以及厂商代表——上海控安可信软件创新研究院缪炜恺院长、中科国创高可信软件有限公司研发总监李兆鹏进行圆桌对话。在话题召集人—科大国创副总裁、中科国创高可信总经理孔皖生的发起下，对话嘉宾畅谈了国产高可信软件的现状与未来。在全球新一轮数字化、智能化浪潮下，高可信软件技术的广泛和深入应用未来可期。

ACM中国图灵大会—高可信软件技术论坛圆桌对话

本次高可信软件技术论坛的成功举办，标志着企业作为最重要的市场主体，已充分发挥了技术创新和成果转化的巨大作用。

CCF合肥分部主席、中国科大校长助理吴枫教授（右一）与科大国创董事长董永东（左一）为优秀博士论文奖得主颁奖

当前，全球新一轮科技革命和产业变革正加速演进，软件作为新一代信息技术之魂，网络安全之盾，经济转型之擎，数字社会之基，软件定义一切的时代已然到来。未来，CCF合肥将充分发挥平台优势，联动高校、产业间深度合作，推动高可信软件在尖端科技、社会经济和生活领域中发挥关键作用！