首页 > 正文

国家自然科学基金重点项目2023年度研讨会在实验室召开

作者:时间:2023-11-15点击数:

国家自然科学基金重点项目“人机物系统的计算模型与软件定义方法”的2023年度会议于10月28-29日在实验室找召开,项目负责人西南大学刘志明教授、子课题负责人国防科技大学董威教授、同济大学张苗苗研究员等10余位老师已经几个团队的博士/硕士研究生参加了汇报与研讨。并且,这次会议邀请了英国York大学的英国皇家工程院院士Jim Woodcock与挪威Claudio Gomes教授参加了研讨并做了报告。


版权所有:同济大学 形式逻辑与机器学习实验室

地址:上海市嘉定区曹安公路4800号同济大学嘉定校区智信馆2楼 

Email:liuguanjun@tongji.edu.cn