CCF中国软件大会由中国计算机学会(CCF)主办,CCF软件工程专委会、系统软件专委会、形式化方法专委会等单位承办,由全国软件与应用学术会议(NASAC)与全国形式化方法与应用会议(FMAC)两个会议有机组成。其中,NASAC创立于2002年,是中国软件科学与工程相关领域参会人数多、影响范围广、涵盖内容全面的学术会议;FMAC创立于2016年,聚焦形式化方法理论前沿和最新研究进展,深化拓展形式化方法与相关领域的交叉,促进形式化方法、工具和应用在国内的发展。
本次大会将组织特邀报告、青年学者论坛、论文专刊论坛、顶会顶刊论坛、优秀博士生论坛、学术论坛、工业论坛、教育论坛、学科竞赛等40余个不同类型的活动。
会议名称 | 举办城市 | 会议主题 | 举办地点 | 举办时间 |
2024CCF中国软件大会,中国软件大会2024 | 西安市 | 西安高新国际会议中心 | 2024年11月15日-17日 | |
2023CCF中国软件大会,中国软件大会2023 | 上海市 | 上海国际会议中心 | 2023年12月01日-03日 |