大会概述

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

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

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

 

执行委员会

荣誉主席:林惠民、梅宏、吕建

主席: 金芝、李宣东、王戟

委员: 陈海波、傅育熙、黄志球、彭鑫、蒲戈光、王林章、王千祥、谢涛、詹乃军

大会主席

大会主席:金芝、李宣东、王戟、赵文耘

程序委员会

主席: 李戈、卜磊、董威、彭鑫

委员: 待更新...

组织委员会

主席: 彭鑫

委员: 吴毅坚、沈立炜、陈碧欢、董 震、李 弋、沙朝锋、戴开宇