一、会议简介
2021 CCF中国软件大会（CCFChinasoft）将于2021年11月19日至21日在陕西省西安市高新国际会议中心召开。大会由中国计算机学会（CCF）主办，CCF软件工程专委会、系统软件专委会、形式化方法专委会、威尼斯7798cc承办，威尼斯7798cc（国家示范性软件学院）具体落实，西安市智能软件工程重点实验室负责实施，由西安交通大学、西北工业大学、西北农林科技大学、西安理工大学、航空工业西安航空计算技术研究所协办，得到西安高新区管委会的大力支持，西安高新区软件新城管办具体执行。大会由华为技术有限公司、西安前沿动力软件开发有限责任公司、汇丰科技中国、百度公司作为白金赞助商。本次大会的主题为“基础软件：自主、安全与创新”。
CCF中国软件大会由全国软件与应用学术会议（NASAC）与全国形式化方法与应用会议（FMAC）两个会议有机组成。NASAC创立于2002年，已举办十九届，由CCF主办，CCF软件工程专业委员会与CCF系统软件专业委员会共同承办，是中国软件科学与工程相关领域参会人数最多、影响范围最广、涵盖内容最全面的学术会议。全国形式化方法与应用会议（FMAC）创立于2016年，历经五届，由CCF主办，CCF形式化方法专业委员会承办。FMAC聚焦形式化方法理论前沿和最新研究进展，深化拓展形式化方法与相关领域的交叉，促进形式化方法、工具和应用在国内的发展。
2021CCF中国软件大会将组织特邀报告、院士高峰论坛、青年学者论坛、论文专刊论坛、顶会顶刊论坛、学术论坛、工业论坛、教育论坛、学科竞赛答辩和软件研究成果展示等30余个不同类型的活动。大会将邀请10余位软件及相关领域中国科学院院士与中国工程院院士，为大会带来特邀报告并参加院士高峰论坛等活动。目前已邀请参会的两院院士包括中国科学院院士林惠民，中国科学院院士陶文铨，中国科学院院士梅宏，中国科学院院士吕建，中国科学院院士李应红，中国工程院院士廖湘科，中国科学院院士杨孟飞，中国科学院院士管晓宏，中国科学院院士王怀民，中国科学院院士冯登国，中国工程院院士孙凝晖等。
本次大会预计将吸引超过2000人线下参会，参会单位超过200家。作为中国软件领域的年度盛会，诚挚地邀请软件领域学术界、企业界、教育界的学者、师生、从业者等前来参会！
二、会议安排
会议时间
2021年11月19-21日
会议地点
西安高新国际会议中心
会议报到时间及地点
1.时间：2021年11月18日，全天陕西宾馆18号楼大堂
2.时间：2021年11月19~21日，全天西安高新国际会议中心
会议官网
http://chinasoft.ccf.org.cn/
三、会议协同举办体系
主办单位
中国计算机学会
承办单位
CCF软件工程专委会
CCF系统软件专委会
CCF形式化方法专委会
威尼斯7798cc
协办单位
西安交通大学
西北工业大学
西北农林科技大学
西安理工大学
航空工业西安航空计算技术研究所
支持单位
西安高新区管委会
白金赞助商
华为技术有限公司
西安前沿动力软件开发有限责任公司
汇丰科技中国
百度公司
四、大会出席院士
五、会议组织机构
1.执行委员会
荣誉主席
林惠民 梅 宏 吕 建
主席
金 芝 李宣东 王 戟
委员
陈海波 傅育熙 黄志球 彭 鑫 蒲戈光 王林章 王千祥 谢 涛
詹乃军
2.大会主席
金 芝 李宣东 王 戟 王 泉
3.程序委员会
主席
董 威 李 戈 卜 磊 李青山
委员
曹钦翔 陈 刚 陈俊洁 陈立前 陈 渝 陈 哲 陈 睿 陈雨亭
陈振宇 崔西宁 邓玉欣 高洪皓 贺 飞 胡春明 黄 勃 江 贺
蒋炎岩 江云松 李必信 李建欣 李 涛 刘 辉 刘 进 刘 璘
刘 烃 刘万伟 刘关俊 陆 旭 马晓星 毛新军 明 仲 聂长海
彭 鑫 蒲戈光 戚正伟 秦胜潮 Julia Rubin 陶先平 史佩昌 宋富
宋 莹 孙昌爱 孙宏伟 孙 猛 孙小兵 孙毓敏 孙毓忠 汤恩义
唐 滨 王林章 王千祥 王 涛 武 星 谢 涛 许智武 杨 珉
尹 刚 殷昱煜 詹博华 张 超 张冬梅 张 贺 张立军 张 涛
张 羽 张 昱 张 源 赵永望 郑子彬 周代兵 周明辉 祝立明
4.组织委员会
主席
李青山 崔江涛
委员
龚怡宏 郑江滨 张宏鸣 黑新宏 崔西宁 田 聪 苗启广 刘西洋
宋胜利 沈玉龙 李 瑞 徐悦甡 张 亮 王 璐 褚 华 蔺一帅
覃桂敏 刘如意 王小兵 张 南 于 斌 权义宁 焦晓鹏 朱光明
5.财务委员会
主席
王林章
委员
李 瑞 徐悦甡 冯明涛 蒋志平
6.宣传委员会
主席
李 瑞 徐悦甡
委员
褚 华 蔺一帅 蒋志平 朱光明 董洛兵
7.赞助委员会
主席
宋胜利 王 璐
委员
张 亮 刘如意 于 斌 覃桂敏 王徐华
六、会议日程
七、会议论坛及竞赛组成
八、会议重要时间
九、会议注册费标准
●CCF会员(2200元/人）
●CCF学生会员(1600元/人)
●非CCF会员（2800元/人）
●CCF会员单日门票(640元/人)
●非CCF会员单日门票(800元/人)
●线上参会CCF会员(320元/人)
●线上参会非CCF会员(400元/人)
10月31日前注册享受优惠
●CCF会员(1900元/人）
●CCF学生会员(1400元/人)
●非CCF会员（2400元/人）
●CCF会员单日门票(576元/人)
●非CCF会员单日门票(720元/人)
●线上参会CCF会员(320元/人)
●线上参会非CCF会员(400元/人)
会议注册链接：https://conf.ccf.org.cn/web/html5/HYJS.html?channelId=8762224953334c3bb2154979cfe23524&globalId=m8870826609781022721631538587576
会议注册二维码
说明：本次会议通过CCF会议管理系统缴费，退费遵守《CCF关于会议注册费的退费规定》。
十、住宿与交通
1.住宿
本次会议推荐酒店将在会议网站（http://chinasoft.ccf.org.cn/）陆续推出，参会代表可通过会议网站预定协议酒店，住宿费用由参会代表自行结算，发票由住宿酒店开具。
本次大会优先推荐陕西宾馆作为各参会代表的住宿酒店，陕西宾馆可提供超过1200间客房且各类型房间的价格也较为合适。陕西宾馆距离本次会议的举办地西安市高新国际会议中心约15分钟车程，组委会将安排大巴统一接送。安朴酒店距离西安市高新国际会议中心约5分钟车程，15分钟步程。
酒店预订链接：http://kaili.kailimice.cn/f/j2eG7x
酒店预订二维码
会议酒店推荐
酒店名称 |
星级 |
房型 |
价格 |
地址 |
陕西宾馆19号楼雀笙酒店 |
★★★★★ |
豪华标间/行政标间/ 豪华大床 |
450元/天（含早） |
陕西省西安市雁塔区丈八北路1号 |
陕西宾馆12号楼 |
★★★★★ |
标间/大床 |
450元/天（含早） |
陕西宾馆10号楼 |
★★★★★ |
标间/大床 |
350元/天（含早） |
陕西宾馆18号楼 |
★★★★★ |
标间/大床 |
520元/天（含早） |
安朴酒店 |
★★★★ |
标间 |
550元/天（含双早） |
西安市雁塔区天谷八路西安软件新城二期C4栋 |
大床 |
500元/天（含单早） |
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分钟。
十一、会议联系方式
会务组负责人：李 瑞
会 务 组：徐悦甡 陈 龙 15091591154
会 议 住 宿 ：种丹丹 19909239232
