爱上海龙凤论坛

会议介绍

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

会议活动

本次大会将组织特邀报告、青年学者论坛、论文专刊论坛、顶会顶刊论坛、优秀博士生论坛、学术论坛、工业论坛、教育论坛、学科竞赛等40余个不同类型的活动。

本百科词条由网站注册用户【 展览速递 】编辑上传提供，当前页面所展示的词条介绍涉及宣传内容属于注册用户个人编辑行为，网站不完全保证内容信息的准确性、真实性，也不代表本站立场。