2024年11月15-17日，刘关俊、张凯文、陈一鸣于西安参加中国软件大会。在大会成功举办“高可信人机物智能...[详细]
2024年11月9-10号于华师大滴水和校区，刘关俊、杨敏、郭为冉参加可信智能系统专委年会，杨敏与郭为冉并...[详细]
BASICS'2024暑期学校-"可达性:算法与复杂性"研讨班于8月19日-23日在同济大学嘉定校区召开。BASICS暑期学...[详细]
2024年11月15-17日，刘关俊、张凯文、陈一鸣于西安...[详细]
2024年11月9-10号于华师大滴水和校区，刘关俊、杨...[详细]
BASICS'2024暑期学校-"可达性:算法与复杂性"研讨班...[详细]
2024年11月15-17日，刘关俊、张凯文、陈...[详细]
2024年11月9-10号于华师大滴水和校区，...[详细]
BASICS'2024暑期学校-"可达性:算法与复...[详细]
