学术活动-首都师范大学信息工程学院

公共目录

您目前的位置：首页» 公共目录» 学术活动

学术活动

[2023-05-12]“立远志，拓视野”人工智能党支部良乡行系列讲座：可信系统与定理证明
[2023-03-15]信息工程学院学术讲座：互联网数据智能安全分析与检测关键技术（首都师范大...
[2023-03-15]信息工程学院学术讲座：形式化方法——从交互式到自动化（首都师范大学信息...
[2023-03-15]信息工程学院学术讲座：软件系统形式模型的限界正确性（首都师范大学信息工...
[2021-10-11]本科生讲座：首师大和奥克兰理工大学计算机本科及硕士衔接项目辅助英语免费...
[2021-09-16]本科生讲座：计算机本科及硕士衔接项目2021在线宣讲会
[2020-12-11]学术报告：Interval Counterexamples for L...
[2019-11-27]学术报告：Protection and secure processi...
[2019-11-01]学术报告：Modeling and Verifying Complex...
[2019-11-01]本科生讲座：基于博弈学习的群体智能理论与应用
[2019-10-28]本科生讲座：信息技术：一把锋利的双刃剑
[2019-10-24]学术报告：程序分析、验证与测试
[2019-10-22]学术报告：知识图谱：新一代人工智能的重要基础设施
[2019-09-29] 本科生讲座：网络安全中的“圣杯”—“软件漏洞”
[2019-07-02]学术报告：Fault diagnosis and tolerant c...
[2019-05-14]人工智能+教师教育国际研讨会
[2019-05-05]本科生讲座：走进虚拟现实的世界
[2019-05-05]本科生讲座：首都师范大学和埃德蒙顿康考迪亚大学关于信息系统安全管理专业...
[2019-05-05]本科生讲座：北京市大学生集成电路设计大赛组织与实施
[2019-03-27]本科生讲座：基于超级计算机的云计算技术