Breadcrumb Home News & Events Notice RITAS Technical Symposium (6th Session, 2025) RITAS Technical Symposium (6th Session, 2025) 2025-09-16 Notice Content View Count: 相关阅读 深圳可信自主系统“工业人工智能”研讨会(11月3-5日,南方科技大学) 中科院计算所研究员王瑞平:视觉-语言多模态智能评测的探索 香港科技大学研究助理教授 Jialun Cao:Can AI be a Panacea for Software Reliability? Towards Automatic Testing and Verification for Software Programs