CCF中国软件大会由中国计算机学会(CCF)主办，CCF软件工程专委会、系统软件专委会、形式化方法专委会、复旦大学承办。本次大会的主题为“聚焦产教研用协同创新，提升关键软件供给能力”。

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

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

李戈

卜磊

董威

彭鑫

鲍凌峰、卜 磊、蔡少伟、常 瑞、陈碧欢、陈俊洁、陈 恺、陈立前、陈 睿、陈 森、陈 厅、陈 渝、陈雨亭、陈振邦、陈振宇、陈志峰、崔西宁、邓水光、丁佐华、董 威、董云卫、董 震、房春荣、范玲玲、冯 洋、郭向英、郭 耀、郝 丹、贺 飞、何 啸、黄 松、胡春明、胡 星、胡欣蔚、姜佳君、姜 宇、蒋振鸣、梁广泰、李春芳、李 戈、李建欣、李青山、刘关俊、刘 辉、刘 逵、刘 璘、李宣东、罗 川、毛晓光、毛新军、孟国柱、牛建伟、彭 鑫、蒲戈光、钱 溢、秦胜潮、戚正伟、沈 博、申文博、沈 颖、石 川、史佩昌、宋 莹、孙昌爱、孙海龙、孙建光、孙毓忠、苏 亭、谭 鑫、陶先平、田 聪、王 博、王 戟、王俊杰、王 璐、王千祥、王少华、王 伟、王忠杰、魏 峻、文 明、向剑文、夏 鑫、谢 涛、邢 颖、熊英飞、应 时、詹博华、张冬梅、张 贺、张 莉、张 天、张 昱、张宇霞、詹乃军、赵永望、郑 炜、郑 征、周明辉、朱家鑫、祝立明、左志强