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

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

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

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