新闻通知 News 2024 CCF 中国软件大会邀请函 2024-10-09 点击下载 2024 CCF 中国软件大会会议手册 2024-11-12 点击下载 第三轮会议通知 2024-11-01 第二轮会议通知 2024-09-29 第一轮会议通知 2024-09-03
会议简介 Introduction of Conference NASAC 全国软件与应用学术会议 全国软件与应用学术会议:中国计算机学会主办,软件工程专委、系统软件专委承办的软件领域盛会大会设置特邀报告、论文报告、优博论坛、青年学者论坛、软件系统原型和产品展示等多种学术交流形式。 FMAC 全国形式化方法与应用会议 全国形式化方法与应用会议:中国计算机学会主办,形式化方法专委承办,立足于形式化方法核心内容,深化拓展形式化方法与相关领域的交叉,加强学术界与工业界合作,在科学研究、人才培养、国际交流、应用实践等方面努力开展卓有成效的工作,促进形式化方法在中国的发展。
院士嘉宾 Special Guests 林惠民中国科学院院士梅宏中国科学院院士吕建中国科学院院士廖湘科中国工程院院士杨孟飞中国科学院院士管晓宏中国科学院院士陆军中国工程院院士王怀民中国科学院院士冯登国中国科学院院士钱德沛中国科学院院士胡事民中国科学院院士尼玛扎西中国工程院院士