5月30日浙江大学王竟亦教授来实验室交流，介绍了深度神经网络的验证与修复[详细]

2024年5月24日，由CCF形式化专委吴志林秘书长带队，由董云卫、陈振邦、王竟亦、刘关俊等4为委员组成小组，访问了南方电网公司网络安全测评技术中心，开展学术研讨以及讨...[详细]

2024年5月17日CCF形式化专委组织刘志明、董云卫、吴志林、刘关俊等四位专委委员，走进兴义民族师范学院，上午进行了学术报告，下午与计算机学院的领导老师进行了座谈[详细]

2024年4月26日，上海市人工智能学会可信智能系统专委走进中船711所，就人工智能等在船舶智能控制、健康管理等方面的应用开展了研讨[详细]

2024年3月30日刘关俊受邀在上海科学会堂参加陈仪香教授举办的可信智能系统研讨会[详细]

上海市人工智能学会可信智能系统专委2024年度第一次常委会议于3月21日在华师大数学馆召开,围绕各常委和秘书处的工作进行了分工,制定了2024年的年度计划[详细]

刘关俊、张凯文与11月3日-6日赴新疆喀什大学参加LEDS2023会议，并做报告[详细]

10月20-23日，刘关俊、周子渊、郭为冉赴西安参加ICCSI2023国际会议（International Conference on Cyber-physical Social Intelligence），郭为冉同学宣读论文[详细]

博士研究生周子渊同学与9月30日-10月3日赴波兰参加ECAI2023国际会议并宣读论文[详细]

国家自然科学基金重点项目“人机物系统的计算模型与软件定义方法”的2023年度会议于10月28-29日在实验室找召开，项目负责人西南大学刘志明教授、子课题负责人国防科技大...[详细]