第四届ACM中国图灵大会高可信软件技术论

中科白癜风微博 http://baidianfeng.39.net/a_yqhg/140805/4440912.html
人民网合肥8月3日电(赵越)7月31日，第四届ACM中国图灵大会高可信软件技术论坛在合肥举办。本次论坛由安徽省经济和信息化厅指导，中国科学技术大学计算机科学与技术学院、中国计算机学会(CCF)形式化专委会、CCF合肥分部主办。中国科学院院士何积丰，安徽省经济和信息化厅党组成员、副厅长柯文斌，中国科学技术大学计算机科学与技术学院执行院长李向阳，科大国创董事长董永东等出席论坛并致辞。会上，南京大学教授冯新宇、中科院软件所研究员詹乃军、浙江大学教授赵永望分别作主旨报告，就软件分析和验证等前沿技术分享了自己的见解和研究、应用成果。论坛还启动了高可信软件工具链的发布仪式，旨在汇聚行业之资源，推动高可信软件的国产化替代，为用户提供全面可信的测试服务，不断推动高可信软件的商业化应用和发展。本次论坛还邀请专家学者、用户代表、厂商代表等进行圆桌对话，畅谈国产高可信软件的现状与未来。与会嘉宾表示，在全球新一轮数字化、智能化浪潮下，高可信软件技术的广泛和深入应用未来可期。

转载请注明：http://www.abuoumao.com/hyls/6389.html