大会概述

CCF中国软件大会由中国计算机学会(CCF)主办,CCF软件工程专委会、系统软件专委会、形式化方法专委会、复旦大学承办。

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

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

 

执行委员会

荣誉主席

林惠民

梅宏

吕建

主席

金芝

李宣东

王戟

委员

陈海波

傅育熙

黄志球

彭鑫

蒲戈光

王林章

王千祥

谢涛

詹乃军

大会主席

大会主席

金芝

李宣东

王戟

赵文耘

程序委员会

主席

李戈

卜磊

董威

彭鑫

委员

待更新...

组织委员会

主席

彭鑫

委员

吴毅坚

沈立炜

陈碧欢

董震

李弋

沙朝锋

戴开宇

黄凯锋

刘名威