科大国创成功承办第四届ACM中国图灵大会

　　记者获悉，7月31日至8月1日，由科大国创（300520）联合承办的第四届ACM中国图灵大会在合肥隆重举行，本次大会以“智能+与工业互联网”为主题，突出了国际化、智能化、专业化的特色。本届大会由中国科学技术大学等国内二十多所高校联合承办，设有人工智能、高可信软件、工业互联网、嵌入式系统、无线网络、通信网络、计算机教育等专题分论坛，共话对尖端技术的看法，探讨人工智能的未来发展趋势，已成为中国计算机领域级别最高、规模最大的学术盛会之一。同时，公司作为大会官方首席战略合作伙伴深度参与大会，于7月31日下午举办“ACM中国图灵大会—高可信软件技术论坛”。

　　科大国创告诉记者，论坛现场启动了高可信软件工具链的发布仪式，旨在汇聚行业之资源，推动高可信软件的国产化替代，为用户提供全面可信的测试服务，不断推动高可信软件的商业化应用和发展。本次高可信软件技术论坛的成功举办，标志着企业作为最重要的市场主体，已充分发挥了技术创新和成果转化的巨大作用。多年来，科大国创一直致力于自主研发，基于程序分析与形式化验证工具的高可信软件技术，抢抓国家科技创新的良好机遇，推进高可信软件相关标准的制定，加快高可信软件的实际应用，直接服务于数字经济的高质量发展。此外，公司董事、国创中央研究院院长纪金龙博士在活动现场作《高可信软件技术与我们的实践》主旨报告，分享了科大国创关于高可信软件技术的思考、实践与未来发展的机遇和挑战，并与中科院管晓宏院士等参与大会关于人工智能的主题对话—“我们仍未知道未来智能世界的样子”。

　　科大国创表示，未来公司作为大数据研发和应用的国家队，软件技术与实践的领导者，高可信软件研发及推广的创新者，将不断坚持自主科技创新，推动高可信软件在尖端科技、社会经济和生活领域中发挥关键作用，研发出具有世界领先水平的高可信软件验证工具和集成开发平台，培育出一批优秀的顶尖人才，向着机器人编程的目标奋进。同时，科大国创将与众多生态合作伙伴一起，解决“卡脖子”问题，不断坚持自主技术创新，为中国人争气，为国产自主核心技术和国家科技创新的发展贡献力量。