大会概述

2021 CCF中国软件大会(CCF Chinasoft)将于2021年12月24日至26日在陕西省西安市高新国际会议中心召开。大会由中国计算机学会(CCF)主办,CCF软件工程专委会、系统软件专委会、形式化方法专委会、西安电子科技大学承办,西安电子科技大学计算机科学与技术学院(国家示范性软件学院)具体落实,西安市智能软件工程重点实验室负责实施,由西安交通大学、西北工业大学、西北农林科技大学、西安理工大学、航空工业西安航空计算技术研究所协办,得到西安高新区管委会的大力支持,西安高新区软件新城管办具体执行。大会由华为技术有限公司、西安前沿动力软件开发有限责任公司、汇丰科技、百度公司作为白金赞助商。本次大会的主题为“基础软件:自主、安全与创新”。

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

2021CCF中国软件大会将组织特邀报告、院士高峰论坛、青年学者论坛、论文专刊论坛、顶会顶刊论坛、学术论坛、工业论坛、教育论坛、学科竞赛答辩和软件研究成果展示等30余个不同类型的活动。大会将邀请10余位软件及相关领域中国科学院院士与中国工程院院士,为大会带来特邀报告并参加院士高峰论坛等活动。拟邀请的两院院士包括中国科学院院士林惠民,中国科学院院士陶文铨,中国科学院院士梅宏,中国科学院院士吕建,中国科学院院士李应红,中国工程院院士廖湘科,中国科学院院士杨孟飞,中国科学院院士管晓宏,中国科学院院士王怀民,中国科学院院士冯登国,中国工程院院士孙凝晖等。

本次大会预计将吸引超过2000人线下参会,参会单位超过200家。作为中国软件领域的年度盛会,诚挚地邀请软件领域学术界、企业界、教育界的学者、师生、从业者等前来参会!

 

执行委员会

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

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

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

大会主席

大会主席:金芝、李宣东、王戟、王泉

程序委员会

主席: 董威、李戈、卜磊、李青山

委员: 曹钦翔、陈 刚、陈俊洁、陈立前、陈 渝、陈 哲、陈 睿、陈雨亭、 陈振宇、崔西宁、邓玉欣、高洪皓、贺 飞、胡春明、黄 勃、江 贺、 蒋炎岩、江云松、李必信、李建欣、李 涛、 刘 辉、刘 进、刘 璘、 刘 烃、刘万伟、刘关俊、陆 旭、马晓星、 毛新军、明 仲、聂长海、 彭 鑫、蒲戈光、戚正伟、秦胜潮、Julia Rubin、陶先平、史佩昌、宋 富、 宋 莹、孙昌爱、孙宏伟、孙 猛、孙小兵、孙毓敏、孙毓忠、汤恩义、 唐 滨、王林章、王千祥、王 涛、武 星、谢 涛、许智武、杨 珉、 尹 刚、殷昱煜、詹博华、张 超、张冬梅、张 贺、张立军、张 涛、 张 羽、张 昱、张 源、赵永望、郑子彬、周代兵、周明辉、祝立明

组织委员会

主席: 李青山、崔江涛

委员: 龚怡宏、郑江滨、张宏鸣、黑新宏、崔西宁、田 聪、苗启广、刘西洋、 宋胜利、沈玉龙、李 瑞、徐悦甡、张 亮、王 璐、褚 华、蔺一帅、 覃桂敏、刘如意、王小兵、张 南、于 斌、权义宁、焦晓鹏、朱光

财务委员会

主席:王林章

委员: 李 瑞、徐悦甡、冯明涛、蒋志平

宣传委员会

主席: 李瑞、徐悦甡

委员: 褚 华、蔺一帅、蒋志平、朱光明、董洛兵

赞助委员会

主席: 宋胜利、王璐

委员: 张 亮、刘如意、于 斌、覃桂敏、王徐华