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

中国证券报2021-08-02

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

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

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

大家都在看