返回首页
CNCC | 翟恩南、孙猛等领域内专家与你共同探讨——云网融合中的网络形式化方法前沿技术
CNCC2023将于10月26日至28日在沈阳举行，会议期间将举办130场技术论坛，涵盖人工智能、安全、计算+、软件工程、教育、网络、芯片、云计算等30余个方向。本文特别介绍将于10月27日举办的【云网融合中的网络形式化方法前沿技术】技术论坛。
本论坛探讨网络形式化方法在云网融合关键场景，包括智能运维、安全协议验证、区块链与形式化等方面的前沿成果与发展前景，从学术与产业角度进行深入探讨。
万人盛会即将开幕，报名仍在持续进行中，800余位技术论坛专家邀你相约沈阳，共享学术盛宴！立即扫码报名参会。
云网融合是新型信息基础设施的深刻变革，是算力时代信息基础设施自主创新的重要方向。网络形式化方法可以有效提高云网融合运维的可靠性与可用性，对于我国十四五发展新基建，掌握云网融合相关领域核心技术，具有重要意义。本论坛将深入讨论云网融合中网络形式化方法