CCF中国软件大会

CCF中国软件大会由中国计算机学会（CCF）主办，CCF软件工程专委会、系统软件专委会、形式化方法专委会等单位承办，由全国软件与应用学术会议（NASAC）与全国形式化方法与应用会议（FMAC）两个会议有机组成。其中，NASAC创立于2002年，是中国软件科学与工程相关领域参会人数多、影响范围广、涵盖内容全面的学术会议；FMAC创立于2016年，聚焦形式化方法理论前沿和最新研究进展，深化拓展形式化方法与相关领域的交叉，促进形式化方法、工具和应用在国内的发展。