京东 11.11 红包
2022年3月人工智能论坛机器之心AI科技年会（上午）
发布人
打开封面 下载高清视频 观看高清视频 视频下载器
...
2022年3月人工智能论坛机器之心AI科技年会（下午前两个）
...
2022.7.23 人工智能安全可信理论与验证平台
...
2021 CCF软件大会 优秀博士论坛
...
2022.4.27--片上系统的模块化规范与形式化验证--张弘策（香港科技大学广州校区）
...
DSA 2022特邀报告
...
2021年江苏互联网+师生共创组2上午
...
软件工程未来趋势研讨会-2022.7.16
...
ISSRE 2021卓越企业论坛：TrustTest-Reliability and Resilience Verification in Huawei
...
2022年4月28日学术研究方法浅谈--北航马帅
...
从工业界角度看可信AI
...
2021年8月29日泛在操作系统CCF系统软件技术论坛
...
编译原理课程Flex+Bison使用讲解
...
CCF YOCSEF 观点论坛：如何释放青年学者的内生动能——帽子、票子还是调子？
...
夯实AI基础，繁荣AI生态 昇腾赋能共助“一带一路”新发展
...
2021年中国软件大会-系统软件安全论坛-1
...
2021年中国软件大会-百答论坛
...
中国计算机学会形式化方法专委战略研讨会--软硬件基础设施验证，上午Panel
...
2021年8月10日科技创新与社会发展沙龙-泛在操作系统及其生态
...
《信息安全学报》线上学术沙龙（第七期）——“人工智能安全”学术报告会
...
ICCSE 2021- Issues and Challenges of Safety and Reliability in Industrial IOT
...
2021年10月形式化方法专委战略研讨会-上午
...
2021年中国软件大会-高可信嵌入式软件工程技术论坛
...
2021年江苏互联网+师生共创组2下午
...
2021年中国软件大会-电子设计自动化软件验证论坛
...
自动驾驶系统中深度学习模型的研究现状，安全挑战与发展趋势
...
第四届世界顶尖科学家论坛，开放科学：构建开放创新生活
...
IJTCS 2021Women in EconCS Panel
...
2021年9月8号Deep Cooperation of CDCL and Local Search for SAT
...
2021年中国软件大会-系统软件安全论坛-2
...
TASE 2021 Invited Talk - Moshe Y. Vardi -Program Verification a 70+ Year
...
信息安全发展历程与趋势--冯登国
...
IJTCS 2021 Industry Forum-Blockchain
...
下一代人工智能交叉学科的机遇与挑战-焦李成院士
...
碳达峰碳中和-人工智能发展的必由之路
...
2022.10-可信软件漫谈：软件可信吗？（南京大学李宣东教授）
...
新一代人工智能：主要特征与典型应用
...
泛在操作系统：机遇与挑战--梅宏院士
...
Machine Learning Applications to Mobile Communications
...
2021年11月施巍松教授边缘计算背景应用和挑战讲座
...
2021年12月一带一路人工智能大会：人工智能从“三要素”走向“四要素”