2024年11月15-17日，刘关俊、张凯文、陈一鸣于西安参加中国软件大会。在大会成功举办“高可信人机物智能系统论坛”[详细]

2024年11月9-10号于华师大滴水和校区，刘关俊、杨敏、郭为冉参加可信智能系统专委年会，杨敏与郭为冉并作了汇报，介绍其研究工[详细]

BASICS'2024暑期学校-"可达性:算法与复杂性"研讨班于8月19日-23日在同济大学嘉定校区召开。BASICS暑期学校由上海交通大学傅育熙教授创办并已举办20届,本次为第21届。本...[详细]

7月25日至28日，LEDS‘2024在内蒙古呼伦贝尔学院召开[详细]

2024年7月15日上午，中科院软件所吴志林研究员将到访实验，于电信学院264室做报告。题目：计算机软硬件基础设施的形式化验证报告人：吴志林，中国科学院软件研究所研究...[详细]

2024年6月17日，中国自动化学会（CAA）网络计算专委会“走进高校”活动在井冈山大学举办。学校党委常委、副校长冷明出席并致辞，电子与信息工程学院师生代表近70人参加...[详细]

6月1日至3日，美国Monmouth大学王加存教授来实验室交流，与合作的同学们进行了深入研讨，3日与刘关俊教授一起访问南京理工大学陆晓宇教授的实验室[详细]

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

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

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