23
Aug
BASICS'2024暑期学校-"可达性:算法与复杂性"研讨班于8月19日-23日在同济大学嘉定校区召开。BASICS暑期学校由上海交通大学傅育熙教授创办并已举办20届,本次为第21届。本...[详细]
1
Aug
7月25日至28日，LEDS‘2024在内蒙古呼伦贝尔学院召开[详细]
15
Jul
2024年7月15日上午，中科院软件所吴志林研究员将到访实验，于电信学院264室做报告。题目：计算机软硬件基础设施的形式化验证报告人：吴志林，中国科学院软件研究所研究...[详细]
19
Jun
2024年6月17日，中国自动化学会（CAA）网络计算专委会“走进高校”活动在井冈山大学举办。学校党委常委、副校长冷明出席并致辞，电子与信息工程学院师生代表近70人参加...[详细]
30
May
5月30日浙江大学王竟亦教授来实验室交流，介绍了深度神经网络的验证与修复[详细]
29
May
2024年5月24日，由CCF形式化专委吴志林秘书长带队，由董云卫、陈振邦、王竟亦、刘关俊等4为委员组成小组，访问了南方电网公司网络安全测评技术中心，开展学术研讨以及讨...[详细]
23
May
2024年5月17日CCF形式化专委组织刘志明、董云卫、吴志林、刘关俊等四位专委委员，走进兴义民族师范学院，上午进行了学术报告，下午与计算机学院的领导老师进行了座谈[详细]
6
May
2024年4月26日，上海市人工智能学会可信智能系统专委走进中船711所，就人工智能等在船舶智能控制、健康管理等方面的应用开展了研讨[详细]
30
Mar
24
Mar
上海市人工智能学会可信智能系统专委2024年度第一次常委会议于3月21日在华师大数学馆召开,围绕各常委和秘书处的工作进行了分工,制定了2024年的年度计划[详细]
