一、会议简介
2024 CCF中国软件大会（CCF ChinaSoft）将于2024年11月15日至17日在陕西省西安高新国际会议中心召开。大会由中国计算机学会（CCF）主办，CCF软件工程专委会、系统软件专委会、形式化方法专委会、西安电子科技大学承办，西安电子科技大学计算机科学与技术学院（国家示范性软件学院）具体落实，西安市智能软件工程重点实验室负责实施，得到西安高新区管委会的大力支持。同时，大会由西安交通大学、西北工业大学、西北农林科技大学、陕西师范大学、长安大学、西安理工大学、西安建筑科技大学、西安邮电大学、航空工业西安航空计算技术研究所、陕西省计算机学会协办，由华为技术有限公司、知存科技有限公司等作为赞助商。本届大会的主题为“智能软件创新赋能新质生产力发展”。
CCF中国软件大会由全国软件与应用学术会议（NASAC）与全国形式化方法与应用会议（FMAC）两个会议有机组成。NASAC创立于2002年，已举办二十二届，由CCF主办，CCF软件工程专业委员会与CCF系统软件专业委员会共同承办，是中国软件科学与工程相关领域参会人数最多、影响范围最广、涵盖内容最全面的学术会议。全国形式化方法与应用会议（FMAC）创立于2016年，历经八届，由CCF主办，CCF形式化方法专业委员会承办。FMAC聚焦形式化方法理论前沿和最新研究进展，深化拓展形式化方法与相关领域的交叉，促进形式化方法、工具和应用在国内的发展。
两大学术会议NASAC与FMAC自2020年合并后，经过2020（重庆·重庆大学）、2021（西安· 西安电子科技大学/线上）、2022（上海·复旦大学/线上）、2023（上海·复旦大学）各届的发展，CCF中国软件大会的影响力继续扩大。大会在参会人数、参会单位、论坛数目、赞助与协办单位数量、媒体关注度等方面得到了持续且显著的提高。以2023届大会为例，参会人数超过2300人，参会单位超过320家，论坛数量超过45个，赞助与协办单位超过20家，报道媒体超过10家。规模庞大的参会人数、覆盖广泛的参会单位、丰富的论坛活动、协同化的办会体系、反响热烈的社会关注，不但显著扩展了大会在国内外软件相关领域的影响力，而且为领域内学者、师生与从业者提供了一个碰撞思想、建立联接、扩大影响的绝佳平台，同时也为今年大会的继续举办打下了坚实的基础。
在往届大会成功举办的基础上，2024 CCF中国软件大会将组织特邀报告、院士高峰论坛、青年学者论坛、大会常设论坛、论文专刊论坛、顶会顶刊论坛、学术论坛、工业论坛、教育论坛、学科竞赛、软件研究成果展示等近50个不同类型的活动。大会将邀请超过10位软件及相关领域中国科学院院士与中国工程院院士，为大会带来特邀报告并参加院士高峰论坛等活动。拟出席大会的两院院士包括中国科学院院士林惠民、中国科学院院士梅宏、中国科学院院士吕建、中国工程院院士廖湘科、中国科学院院士杨孟飞、中国工程院院士陆军、中国科学院院士王怀民、中国科学院院士冯登国、中国工程院院士孙凝晖、中国科学院院士钱德沛、中国科学院院士胡事民、中国工程院院士郑庆华、中国工程院院士尼玛扎西等。
本届大会预计将吸引超过2500人参会，参会单位预计超过350家。作为中国软件领域的年度盛会，诚挚地邀请软件领域学术界、企业界、教育界的学者、师生、从业者前来参会！
二、会议安排
会议时间
2024年11月15-17日
会议地点
西安高新国际会议中心
会议报到时间及地点
1. 时间：
2024年11月14~17日，全天
2. 地点：
西安高新国际会议中心（具体地址：软件新城天谷六路与云水一路十字西南角）
会议官网
http://chinasoft.ccf.org.cn/
三、会议协同举办体系
主办单位
中国计算机学会
承办单位
CCF软件工程专委会
CCF系统软件专委会
CCF形式化方法专委会
西安电子科技大学
协办单位
西安交通大学
西北工业大学
西北农林科技大学
陕西师范大学
长安大学
西安理工大学
西安建筑科技大学
西安邮电大学
航空工业西安航空计算技术研究所
陕西省计算机学会
支持单位
西安高新区管委会
赞助商
华为技术有限公司
知存科技有限公司
持续更新中。。。。。。
四、大会拟出席院士
五、会议组织机构
执行委员会
荣誉主席
林惠民 梅 宏 吕 建
主席
马晓星 谢 涛 詹乃军
委员
金 芝 李宣东 王 戟 陈海波
傅育熙 黄志球 彭 鑫 蒲戈光
大会主席
马晓星 谢 涛 詹乃军 王 泉
程序委员会
主席
刘 辉 卜 磊 吴志林 李青山
委员
边 攀 陈碧欢 陈 刚 陈俊洁
陈立前 陈明帅 陈 睿 陈 森
陈 厅 陈振邦 陈震鹏 陈志峰
崔西宁 董 威 董 震 杜德慧
冯 洋 符鸿飞 付 明 高翠芸
高 亮 顾 斌 何 勉 胡春明
胡 星 黄 勃 黄凯锋 江 贺
江云松 姜佳君 姜艳杰 靳若春
黎 立 李 戈 李浩源 李建文
李建欣 李国强 李姗姗 李 暾
李宣东 李运喜 李 智 梁广泰
刘关俊 刘 进 刘 逵 刘 烃
刘譞哲 王竟亦 娄一翎 吕荣聪
马 雷 马晓星 马 郓 牛建伟
潘敏学 彭 鑫 戚正伟 石 川
史佩昌 宋 威 宋 莹 苏 亭
孙小兵 孙艳春 孙毓忠 谭 添
陶先平 田 聪 万成城 王 博
王 迪 王昊奋 王浩宇 王 戟
王俊杰 王 璐 王尚文 王 伟
王心童 王焱林 王 莹 王 豫
王 赞 王肇国 文俊浩 吴 伟
武延军 夏 鑫 夏虞斌 向剑文
肖 然 谢 涛 谢晓园 辛 奇
邢明杰 邢 颖 熊英飞 许 畅
玄跻峰 杨 珉 姚培森 姚 远
余 跃 岳 涛 徐梦炜 张冬梅
张 贺 张弘策 张洪宇 张燎原
张 路 张 民 张敏灵 张 奇
张 涛 张文杰 张宇霞 张 昱
郑子彬 周俊伟 周明辉 欧阳中洪
组织委员会
主席
李青山
副主席
田 聪 崔江涛 李 瑞
委员
祝继华 郑江滨 张宏鸣 姚若侠
安毅生 李军怀 马宗方 陈彦萍
李运喜 苗启广 刘西洋 徐悦甡
张 亮 王 璐 褚 华 蔺一帅
于 斌 田 隆 刘如意 王小兵
朱光明 崔 笛 胡景钊 刘成基
李 飞 李佳楠 王 涵 张 宁
张晨曦 蒋志平
财务委员会
主席
吴志林
委员
李 瑞 徐悦甡 王 璐 崔 笛
宣传委员会
主席
徐悦甡
委员
崔 笛 于 斌 田 隆
刘如意 褚 华 蔺一帅 蒋志平
朱光明
赞助委员会
主席
李 瑞
委员
徐悦甡 王 璐 于 斌 覃桂敏
王徐华
出版委员会
主席
王 璐
委员
刘成基 张晨曦 张 宁 李 飞
王 涵
六、会议日程
七、会议论坛及竞赛组成
八、会议重要时间
九、会议注册费标准
10月15日前注册享受优惠
● CCF会员(2300元/人）
● CCF学生会员(1700元/人)
● 非会员专业人员（2900元/人）
● 非会员学生(2200元/人)
● CCF会员单日门票（640元/人）
● 非CCF会员单日门票(800元/人)
10月15日后正常注册
● CCF会员(2700元/人）
● CCF学生会员(2000元/人)
● 非会员专业人员（3400元/人）
● 非会员学生(2500元/人)
● CCF会员单日门票（800元/人）
● 非CCF会员单日门票(1000元/人)
会议注册链接：
http://ccf.org.cn/2024CCFChinaSoft
会议注册链接二维码
说明：本次会议通过CCF会议管理系统缴费，退费遵守《CCF关于会议注册费的退费规定》。
十、住宿与交通
1. 住宿
本次会议推荐酒店将在会议网站（http://chinasoft.ccf.org.cn/hotel）陆续推出，参会代表可通过会议网站预定协议酒店，住宿费用由参会代表自行结算，发票由住宿酒店开具。
本次大会推荐美豪酒店（西安高新软件新城国际会议中心店）、西安高新喜来登酒店、西安陕宾雀笙酒店、西安安朴酒店、西安高新希尔顿欢朋酒店等作为各参会代表的住宿酒店，以上酒店可提供超过1200间客房且各类型房间的价格也较为合适。以上各酒店均分布在会议举办地即西安高新国际会议中心周围，交通方便。例如，美豪酒店距会议中心477米，步行约6分钟；西安高新喜来登酒店与安朴酒店距会议中心均约1.5公里，步行约15分钟。对于距离稍远的酒店如西安陕宾雀笙酒店等，组委会将安排大巴统一接送。酒店的具体信息如下所示，其中价格等信息请以大会网站预订链接为最终标准。
酒店预订链接：
http://kaili.kailimice.cn/f/utEqG6
酒店预订二维码
会议酒店推荐
2.交通指南
机场抵达:
1）打车:全程约35公里，约45分钟，约85元
2）公共交通:机场大巴城西客运站线一到达城西客运站下车→城西客运站乘坐公交272路/186路一到达西三环天谷六路站下车一步行约787米，约12分钟到达西安高新国际会议中心，全程约1小时50分钟。
高铁抵达:
1）打车:全程约27公里，约50分钟，约70元
2）公共交通:北客站乘坐地铁2号线一到达小寨站换乘地铁3号线一到达丈八北路站B口出→步行约230米，约5分钟丈八北路科技路口站乘坐公交405路一云水一路天谷六路口站下车→步行约100米，约2分钟到达西安高新国际会议中心，全程约1小时30分钟。
火车抵达:
1）打车:全程约20公里，约50分钟，约50元
2）步行约1.2公里，约17分钟五路口站乘坐地铁4号线一到达建筑科技大学李家村站站内换乘5号线→到达汉城南路地铁站D口出，步行230米约4分钟北窑头公交站乘坐公交405路一云水路天谷六路口站下车→步行约100米，约2分钟到达西安高新国际会议中心，全程约1小时30分钟。
十一、会议联系方式
会务组负责人
李瑞 （rli@ynyjxx.cn）
会务组
徐悦甡（ysxu@ynyjxx.cn）
陈龙（longchen@ynyjxx.cn）
会议住宿
马萌（18092759931）
会务组邮箱ccfchinasoft2024@163.com
