CNCC2026特邀报告｜胡振江教授——面向可信智能系统的安全编程语言：开发与证明一体化的路径与实践

CNCC2026（中国计算机大会）将于10月21日至24日在成都举办。本届大会以“数聚驱动，智算未来”为主题，预计将举办17场特邀报告、3场大会论坛、167场专题论坛，汇聚近千位讲者，吸引逾万人注册参会。

其中一场备受瞩目的特邀报告已正式揭晓——

胡振江

欧洲科学院院士、日本工程院院士、IEEE会士、

日本工学会会士，北京大学讲席教授

CNCC是一个宏观论述技术趋势的大会，具有规格高、规模大、内容丰富等特点，会议形式包括大会特邀报告、大会论坛、专题论坛、特色活动及展览。大会汇聚两院院士、国内外顶尖学者、知名企业家等亲临大会，展望前沿趋势，分享创新成果。ACM、IEEE CS、IPSJ、KIISE等国际计算机组织的代表也多次获邀现场参加这一盛会。CNCC2026将于10月21-24日在四川省成都市举办，大会主题是“数聚驱动，智算未来”，欢迎各界前来参会。

立即扫码报名，锁定成都之约！