CCF中国软件大会由中国计算机学会(CCF)主办，CCF系统软件专委会、形式化方法专委会、软件工程专委会、复旦大学承办。本次大会的主题为“智能化软件创新推动数字经济与社会发展”。

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

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

卜磊

董威

李戈

彭鑫

卜 磊、蔡立志、蔡少伟、蔡 彦、曹钦翔、陈碧欢、陈 刚、陈嘉弛、陈俊洁、陈立前、陈 睿、陈 厅、陈 行、陈 渝、陈雨亭、陈振邦、陈振宇、陈志峰、陈宗岳、崔西宁、董 威、董 震、房春荣、冯晓兵、冯 洋、高耀清、葛 宁、顾 斌、顾嘉辉、郭 耀、郝 丹、侯丽珊、侯 锐、黄 勃、黄凯锋、胡春明、胡 星、姜佳君、姜艳杰、蒋 奕、姜 宇、江云松、金 芝、孔令和、李 戈、李华伟、李建欣、李骏扬、黎 立、李青山、李姗姗、刘 芳、刘关俊、刘 辉、刘 进、刘 逵、刘 璘、刘 烃、刘烨庞、李宣东、娄一翎、罗夏朴、吕东全、毛新军、牛建伟、彭 鑫、蒲戈光、秦胜潮、戚正伟、任 磊、沈嘉思、史佩昌、宋 富、宋 莹、孙昌爱、孙艳春、孙毓忠、苏 亭、陶先平、田 聪、王 斌、王 博、王 迪、王浩宇、王俊杰、汪 亮、王林章、王力哲、王千祥、王 伟、王晔晖、王 莹、王 豫、文俊浩、邬向前、武 星、吴志林、向剑文、夏 鑫、谢 涛、谢晓园、邢 颖、杨开睿、杨丽蕴、杨 珉、杨子江、姚宝敬、姚培森、叶可江、应 时、战德臣、张冬梅、张 贺、张洪宇、张 莉、张 路、张 涛、张 昱、张越龄、詹乃军、赵永望、郑 征、郑子彬、朱敦尧、朱少民、左志强