大会概述

大会由中国计算机学会(CCF)主办,CCF软件工程专委会、系统软件专委会、形式化方法专委会、西安电子科技大学承办,西安电子科技大学计算机科学与技术学院(国家示范性软件学院)具体落实,西安市智能软件工程重点实验室负责实施,由西安交通大学、西北工业大学、西北农林科技大学、西安理工大学、中国航空工业集团公司西安航空计算技术研究所、陕西省计算机学会协办,得到西安高新区管委会的大力支持,西安高新区软件新城管办具体执行。大会由华为公司、西安前沿动力软件开发有限责任公司、汇丰科技、百度公司作为白金赞助商,由北京轩宇信息技术有限公司、西安葡萄城软件有限公司、上海工业控制安全创新科技有限公司、西安深信科创信息技术有限公司作为赞助商。本次大会的主题为“基础软件:自主、安全与创新”。

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

2021 CCF中国软件大会的主题是“基础软件:自主、安全与创新“,包括特邀报告、青年学者论坛、论文专刊论坛、顶会顶刊论坛、学术论坛、工业论坛、教育论坛、学科竞赛答辩和软件研究成果展示等30余个不同类型的活动。9位中国科学院院士、中国工程院院士(林惠民、梅宏、吕建、廖湘科、杨孟飞、王怀民、冯登国、孙凝辉、钱德沛)将出席大会,做特邀报告,与广大参会者共同探讨作为我国社会和经济基础的软件如何走自主、安全和创新发展之路。

 

执行委员会

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

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

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

大会主席

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

程序委员会

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

委员: 曹钦翔、蔡立志、陈 刚、陈俊洁、陈立前、陈 渝、陈 哲、陈 睿、 陈雨亭、陈振宇、陈志峰、崔西宁、邓玉欣、高洪皓、耿 航、郭向英、 贺 飞、胡春明、胡光初、黄 勃、黄志球、江 贺、蒋炎岩、纪守领、 李必信、李建欣、李 涛、李宣东、刘 辉、刘 进、刘 璘、刘 烃、 刘万伟、刘关俊、刘志明、陆 旭、马晓星、毛新军、毛晓光、明 仲、 聂长海、彭 鑫、蒲戈光、戚正伟、秦胜潮、陶先平、史佩昌、宋 富、 宋 莹、孙昌爱、孙宏伟、孙 猛、孙小兵、孙毓敏、孙毓忠、汤恩义、 唐 滨、王林章、王千祥、王 涛、王 伟、文 明、武 星、武延军、 吴海军、吴敬征、吴志林、夏 鑫、谢 涛、杨丽蕴、杨 珉、姚 远、 叶明希、尹 刚、殷昱煜、应 时、余 萍、詹博华、张 超、张冬梅、 张 贺、张立军、张 涛、张 羽、张 昱、张宇霞、张 源、赵永望、 郑子彬、周代兵、钟 将、祝立明

组织委员会

主席: 李青山、崔江涛

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

财务委员会

主席:王林章

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

宣传委员会

主席: 李瑞、徐悦甡

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

赞助委员会

主席: 宋胜利、王璐

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