会议通知Notice
📢 提交退差价申请的代表的退费,CCF已经按代表们提交的银行卡发放,重开的1000元发票也已同时发送到各位代表留的邮箱
📢 【视频回看】2021 CCF中国软件大会(CCF Chinasoft)【点击或扫描右方二维码,观看视频直播/回看】
📢 2021 CCF中国软件大会(CCF Chinasoft)第四轮会议通知【查看详情】
📢 根据CCF的规定,大会组委会将已注册线下参会的代表转为线上参会,原注册为线上参会的代表不变。会议转为线上后, 各位代表的退费及开票相关情况
说明如下:

1. 若发票没有报销

①差价退还:代表提交退费申请,组委会将会在2周内办理差价退还,并寄送大会所发背包等精美礼品;

②发票:已开具的电子发票将作废,按照减去差价的新费用重新开具发票。

2. 若发票已经报销

如果发票已报销,将不能退费。

注:对于所有原注册线下参会的代表,组委会都将寄送大会背包等精美礼品。组委会将以短信通知、邮件询问等方式 收集各位代表的邮寄地址等信息,还请各
位代表留意并填写。同时,12月26日前往北京会场参会的代表为线下参会,不再退还差价。

【差额退费申请】
📢 近期全国多地出现新冠疫情本土确诊病例,诸多省市(区)陆续出台了最新的疫情防控政策和严格的旅行禁令。为了严格 遵守国家和地方政府关于疫情防控
的要求,保障报名参会者和工作人员的健康与安全,大会组委会经研究决定:将原定于 2021年11月19-21日在陕西西安召开的“2021 CCF中国软件大会”延期至
2021年12月24-26日举办。【查看详情】
📢 结合最近全国疫情情况,2021 CCF中国软件大会优惠缴费截止日期延长至2021年11月30日
会议简介Introduction of Conference
NASAC 全国软件与应用学术会议

全国软件与应用学术会议:中国计算机学会主办,软件工程专委、系统软件专委承办的软件领域盛会大会设置特邀报告、论文报告、专题workshop、优博论坛、青年学者论坛、张贴报告、软件系统原型和产品展示等多种学术交流形式。

FMAC 全国形式化方法与应用会议

中国计算机学会主办,立足于形式化方法核心内容,深化拓展形式化方法与相关领域的交叉,加强学术界与工业界合作,在科学研究、人才培养、国际交流、应用实践等方面努力开展卓有成效的工作,促进形式化方法在中国的发展。

征文投稿Call For Papers
本届会议分为多个Track,分别接受论文投稿,录用论文将分别由 《Empirical Software Engineering Journal》、《Journal of Systems and Software》、 《Science China Information Science》、《软件学报》、《计算机研究与发展》、《信息安全学报》等期刊出版发表。
院士嘉宾Special Guests
林惠民,中国科学院院士

林惠民,中国科学院院士

梅宏,中国科学院院士

梅宏,中国科学院院士

吕建,中国科学院院士

吕建,中国科学院院士

廖湘科,中国工程院院士

廖湘科,中国工程院院士

杨孟飞,中国科学院院士

杨孟飞,中国科学院院士

王怀民,中国科学院院士

王怀民,中国科学院院士

冯登国,中国科学院院士本

冯登国,中国科学院院士

孙凝晖,中国工程院院士

孙凝晖,中国工程院院士

钱德沛,中国科学院院士

钱德沛,中国科学院院士

白金赞助商Sponsor

赞助商Sponsor