CCF ChinaSoft 2022预告丨形式化方法工业应用前沿分论坛 暨中科国创高可信联合上海控安新品发布...
2022年11月25-27日,2022年CCF中国软件大会(CCFChinaSoft2022)将于线上举行。大会将围绕“聚焦产教研用协同创新,提升关键软件供给能力”主题,举办包括学术、工业、教育等论坛活动40余场,预期有林惠民、陈左宁、邬江兴、何积丰、梅宏、吕建、柴洪峰、廖湘科、王怀民、郑纬民、蒋昌俊、王自力等10余位院士莅临,期待您的参与!点击文末“阅读原文”即可报名注册线上参会!https:/