会议简介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
【白金赞助】

【黄金赞助】