会议简介Introduction of Conference
NASAC 全国软件与应用学术会议

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

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

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

征文投稿Call For Papers
会议有多个Track,分别接受论文投稿,录用论文将由《软件学报》、《计算机学报》、《中国科学:信息科学(中文版)》、《Journal of Software: Evolution and Process》、《计算机研究与发展》、《信息安全学报》、《武汉大学学报(自然科学英文版)》等期刊出版。