活动简介

CCF中国软件大会由中国计算机学会(CCF)主办,CCF软件工程专委会、系统软件专委会、形式化方法专委会、复旦大学承办。本次大会的主题为“聚焦产教研用协同创新,提升关键软件供给能力”。

CCF中国软件大会由全国软件与应用学术会议(NASAC)与全国形式化方法与应用会议(FMAC)两个会议有机组成。NASAC创立于2002年,已举办二十届,由CCF主办,CCF软件工程专业委员会与CCF系统软件专业委员会共同承办,是中国软件科学与工程相关领域参会人数最多、影响范围最广、涵盖内容最全面的学术会议。全国形式化方法与应用会议(FMAC)创立于2016年,历经六届,由CCF主办,CCF形式化方法专业委员会承办。FMAC聚焦形式化方法理论前沿和最新研究进展,深化拓展形式化方法与相关领域的交叉,促进形式化方法、工具和应用在国内的发展。

本次大会将组织特邀报告、青年学者论坛、论文专刊论坛、顶会顶刊论坛、优秀博士生论坛、学术论坛、工业论坛、教育论坛、学科竞赛等30余个不同类型的活动。

留言
验证码 看不清楚,更换一张
全部留言
重要日期
  • 会议日期

    11月25日

    2022

    11月27日

    2022

主办单位
中国计算机学会(CCF)
联系方式
移动端
在手机上打开
小程序
打开微信小程序
客服
扫码或点此咨询