一、会议简介

2025 CCF中国软件大会（CCF ChinaSoft）将于2025年11月在湖北省武汉国际会议中心召开。大会由中国计算机学会（CCF）主办，CCF软件工程专委会、系统软件专委会、形式化方法专委会、武汉大学承办，武汉大学计算机学院具体落实。同时，大会由武汉计算机软件工程学会、华中科技大学、中国地质大学（武汉）、武汉理工大学、华中师范大学、武汉软件工程职业学院（武汉开放大学）、湖北大学、武汉科技大学、中南民族大学协办。

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

两大学术会议NASAC与FMAC自2020年合并后，经过2020（重庆·重庆大学）、2021（西安· 西安电子科技大学/线上）、2022（上海·复旦大学/线上）、2023（上海·复旦大学）、2024（西安·西安电子科技大学）各届的发展，CCF中国软件大会的影响力继续扩大。大会在参会人数、参会单位、论坛数目、赞助与协办单位数量、媒体关注度等方面得到了持续且显著的提高。规模庞大的参会人数、覆盖广泛的参会单位、丰富的论坛活动、协同化的办会体系、反响热烈的社会关注，不但显著扩展了大会在国内外软件相关领域的影响力，而且为领域内学者、师生与从业者提供了一个碰撞思想、建立联接、扩大影响的绝佳平台，同时也为今年大会的继续举办打下了坚实的基础。

在往届大会成功举办的基础上，2025 CCF中国软件大会将组织特邀报告、院士高峰论坛、青年学者论坛、大会常设论坛、论文专刊论坛、顶会顶刊论坛、学术论坛、工业论坛、教育论坛、学科竞赛、软件研究成果展示等近50个不同类型的活动。大会将邀请超过10位软件及相关领域中国科学院院士与中国工程院院士，为大会带来特邀报告并参加院士高峰论坛等活动。

作为中国软件领域的年度盛会，热烈欢迎软件领域学术界、企业界、教育界的学者、师生、从业者前来参会！

二、会议安排

会议时间

2025年11月28-30日

会议地点

武汉国际会议中心

会议报到时间及地点

1. 时间：

2025年11月28~30日，全天

2. 地点：

武汉国际会议中心 (与武汉国博套房假日酒店、武汉洲际酒店同正门)

三、会议协同举办体系

主办单位

中国计算机学会

承办单位

CCF软件工程专委会

CCF系统软件专委会

CCF形式化方法专委会

武汉大学

赞助单位

持续更新中......

协办单位

武汉计算机软件工程学会

华中科技大学

中国地质大学（武汉）

武汉理工大学

华中师范大学

武汉软件工程职业学院（武汉开放大学）

湖北大学

武汉科技大学

中南民族大学

支持单位

持续更新中......

四、大会拟出席院士

其他嘉宾邀请中......

五、会议组织机构

执行委员会

荣誉主席

林惠民   梅   宏   吕   建   张平文

主席

马晓星   谢   涛   詹乃军

委员

金   芝   李宣东   王   戟   陈海波

傅育熙   黄志球   彭   鑫   蒲戈光

大会主席

马晓星   谢涛   詹乃军   杜   博

程序委员会

主席

刘   辉   卜   磊   吴志林   玄跻峰

委员（按姓名音序排序）

David Lo   安   杰   白家驹   边   攀

蔡少伟   曹嘉伦   曹钦翔   陈碧欢

陈   刚   陈嘉弛   陈俊洁   陈立前

陈   睿   陈小红   陈   渝   陈宇奇

陈振邦   陈振宇   崔西宁   储著飞

狄   鹏   翟季冬   丁   华   丁   滟

丁   宇   董   威   董   震   杜德慧

方建滨   方志军   房春荣   冯新宇

  冯   洋   高翠芸   高洪皓

高   鹏   顾   斌   高   尚   葛   宁

郭御风   何   强   侯   锐   胡春明

胡欣蔚   胡   星   黄   勃   黄   涛

江   贺   江云松   姜佳君   姜艳杰

蒋   奕   金   芝   邝   砾   劳玲玲

黎   立   李   锭   李   戈   李国强

李建文   李建欣   李青山   李清安

李运喜   李姗姗   李宣东   李   智

梁广泰   梁   鹏   廖   鑫   林   云

凌   祥   刘   辉   刘金华   刘   进

刘   逵   刘名威   刘   杨   刘云新

刘忠鑫   娄一翎   卢   放   罗   川

马菲菲   马晓星   毛新军   聂长海

牛建伟   欧中洪   潘瑞琪   潘旭东

彭   鑫   戚正伟   秦彬娟   秦胜潮

任   晗   任志磊   荣国平   申文博

石   亮   石   琳     石宣化

时清凯   司徒凌云   宋   威   宋   莹

苏   亭   孙伟松   孙毓忠   谈鉴锋

谭郁松   汤战勇   陶先平   田   晖 

万成城   万   燕   王   博   王德奎

王   迪   王   锋   王豪杰   王浩宇

王慧妍   王   戟   王竟亦   王俊杰

王林章   王   璐   王千祥   王尚广

王尚文   王   涛   王晓风   王学智

王焱林   王   莹   王莹洁   王肇国

王   喆   文俊浩   文   明   吴敬征

吴   伟   吴志林   武延军   武永卫

夏   鑫   夏虞斌   向剑文   肖   然

谢   涛   谢晓园   辛   奇   邢明杰

熊英飞   徐尔茨   徐   辉   徐梦炜

徐悦甡   许   畅   玄跻峰   薛   春

晏荣杰   杨开睿   姚   冬   姚培森

姚鹏晖   姚   远   殷永峰   殷昱煜

应圣钢   应   时   于东晓   于   浩

俞一峻   袁胜浩   岳   涛   詹乃军

张冬梅   张   贺   张洪宇   张   莉

张   路   张   民   张敏灵   张   能

张宇霞   张   昱   张   源   赵   磊

赵永望   郑子彬   钟   浩   周明辉

朱少民   朱敦尧

本地组织委员会

主席

玄跻峰

副主席

陈金富   梁   鹏

委员

廖小飞   张洪艳   胡成玉   郑渤龙

向剑文   马于涛   蒋兴鹏   张   龑

曾   诚   张   凯   帖   军   李   兵

应   时   王   健   王   翀   王   峰

李清安   邹   瑶   陈   晨

财务委员会

主席

李戈

委员

梁   鹏   李   佳

宣传委员会

主席

谢晓园

委员

杨燕鸣   宋   壹

赞助委员会

主席

李   兵   彭   蓉

委员

李瑞引

出版委员会

主席

辛   奇

委员

帅子琦

六、会议日程

七、会议论坛及竞赛组成

八、会议重要时间

九、会议注册费标准

10月31日前注册享受优惠 

● CCF会员(2300元/人）

● CCF学生会员(1700元/人)  

● 非会员专业人员（2900元/人）

● 非会员学生(2200元/人)  

● CCF会员单日门票（640元/人）

● 非CCF会员单日门票(800元/人) 

10月31日后正常注册

● CCF会员(2700元/人）

● CCF学生会员(2000元/人)  

● 非会员专业人员（3400元/人）

● 非会员学生(2500元/人)  

● CCF会员单日门票（800元/人）

● 非CCF会员单日门票(1000元/人)  

说明：本次会议通过CCF会议管理系统缴费，退费遵守《CCF关于会议注册费的退费规定》。

​​​​​​​本场会议平台仅展示信息，如需平台协助报名可拍下后（无需付款）联系客服协助您。