知存科技邀您相约2024 CCF中国软件大会

2024年11月15日至17日，2024 CCF 中国软件大会(2024 CCF ChinaSoft)将在西安高新国际会议中心举行。大会由中国计算机学会(CCF)主办，CCF软件工程专委会、系统软件专委会、形式化方法专委会、西安电子科技大学承办。知存科技威廉希尔官方网站 副总裁赖梁祯博士将参与大会论坛并作主题报告，分享存算芯片生态成果及研发探索。同时，知存科技将携“天才博士计划”(点击回顾“天才博士计划”)亮相大会展区，欢迎现场的优秀硕博学者、参会成员莅临展位交流。

时间：2024年11月15-17日

地点：陕西省西安高新国际会议中心

大会简介

CCF中国软件大会由全国软件与应用学术会议(NASAC)与全国形式化方法与应用会议(FMAC)两个会议有机组成。NASAC创立于2002年，已举办二十二届，由CCF主办，CCF软件工程专业委员会与CCF系统软件专业委员会共同承办，是中国软件科学与工程相关领域参会人数最多、影响范围最广、涵盖内容最全面的学术会议。全国形式化方法与应用会议(FMAC)创立于2016年，历经八届，由CCF主办，CCF形式化方法专业委员会承办。FMAC聚焦形式化方法理论前沿和最新研究进展，深化拓展形式化方法与相关领域的交叉，促进形式化方法、工具和应用在国内的发展。

在往届大会成功举办的基础上，2024 CCF中国软件大会将组织特邀报告、院士高峰论坛、青年学者论坛、大会常设论坛、论文专刊论坛、顶会顶刊论坛、学术论坛、工业论坛、教育论坛、学科竞赛、软件研究成果展示等近50个不同类型的活动。大会将邀请超过10位软件及相关领域中国科学院院士与中国工程院院士，为大会带来特邀报告并参加院士高峰论坛等活动。拟出席大会的两院院士包括中国科学院院士 林惠民、中国科学院院士 梅宏、中国科学院院士 吕建、中国工程院院士 廖湘科、中国科学院院士 杨孟飞、中国科学院院士管晓宏、中国工程院院士陆军、中国科学院院士 王怀民、中国科学院院士 冯登国、中国科学院院士 钱德沛、中国科学院院士胡事民、中国工程院院士 尼玛扎西等。