会议简介

Introduction of Conference
2024中国软件大会

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

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

2024中国软件大会

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

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

征文投稿

Call For Papers
会议有多个Track,分别接受论文投稿,录用论文将由《软件学报》、《计算机学报》、《Journal of Software: Evolution and Process》、《计算机研究与发展》等期刊出版。
ChinaSoft