距开幕还剩

天

会议简介

Introduction of Conference

NASAC 全国软件与应用学术会议

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

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

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

征稿通知

Call For Papers

本年度顶会顶刊论坛由于 NASAC 和 FMAC Co-locate，两个群体关注点有区别，因此分为两个独立论坛：分别为软件工程、系统软件，形式化方法 本届会议分为多个Track分别接受论文投稿，录用论文将分别由 《Empirical Software Engineering Journal》、《Journal of Systems and Software》、 《Science China Information Science》、《软件学报》、《计算机研究与发展》、《信息安全学报》等期刊出版发表。

NASAC FMAC

院士嘉宾

Special Guests

CCF Chinasoft
/ 中国软件大会 2020

会务相关

Chinasoft2020会议群

- 重庆大学

2020 © NASAC FMAC会务组