来源：西电计算机科学与技术学院
发布时间：2021年12月24日
本年度CCF中国软件大会（CCF ChinaSoft）由中国计算机学会（CCF）主办，CCF软件工程专委会、系统软件专委会、形式化方法专委会、西安电子科技大学承办，西安电子科技大学计算机科学与技术学院（国家示范性软件学院）具体落实。大会由全国软件与应用学术会议（NASAC）与全国形式化方法与应用会议（FMAC）两个会议有机组成。今年是CCF中国软件大会自NASAC会议召开起的20周年，CCF三个专委会与承办单位均全力以赴，做好了会议召开的准备。与此同时，因为全国部分地区与举办地西安市受到新冠疫情的影响，组委会对大会召开模式进行了应对性调整。调整后3天的大会活动安排为，12月24-25日通过线上的方式进行，所有分论坛都安排在这两天进行，12月26日在北京友谊宾馆设立线下会场，同时通过线上直播平台全程直播。
2021年12月24日，CCF中国软件大会（CCF ChinaSoft）正式开幕，作为大会会期（12月24日~26日）首日，主要进行各项论坛活动，包括顶会顶刊论坛、优秀博士生论坛、百答论坛、微服务与智能运维论坛等21个开放性论坛，以及软件众测论坛和CCF系统软件专委会年会两个闭门会议，涵盖专刊类论坛、学术类论坛、工业类论坛与教育类论坛等四大类论坛活动。专刊类论坛主要包括大会设立的面向广大师生征稿的论坛，学术类论坛主要指由各位软件领域同行发起，邀请领域内知名专家学者就相关学术问题给予报告的论坛，工业类论坛主要是工业界同行发起的，面向企业界实际相关问题的论坛活动，教育类论坛主要包括各位老师发起的旨在探讨软件工程、系统软件、形式化方法相关领域教育教学问题的论坛。
组委会提供了多种线上参会方式，包括腾讯会议室、B站直播间、线上直播平台等。24日大会吸引了国内外软件工程相关领域师生与从业人员的广泛参与，当天上午与下午各论坛的腾讯会议室同时在线人数均接近或超过1000人，B站直播间同时在线人数均接近或超过2万人，线上直播平台同时在线人数均接近或超过1.5万人。当天累计腾讯会议室在线参会人数超过2000人，B站直播间累计在线人数超过4.4万人，线上直播平台累计在线人数超过4万人，全天合计超过8.7万人。
24日上午进行了顶会顶刊论坛、定理证明理论与应用论坛、嵌入式操作系统论坛、系统软件教研论坛等12个论坛活动。专刊类论坛中，智能化软件与软件控制论论坛中，各位参会作者围绕新一代信息技术下的软件系统智能化控制问题汇报了自己的论文工作。定理证明理论与应用论坛围绕定理证明及相关领域的突破性技术、关键理论和重要应用展开。系统软件安全论坛的研究论文关注系统软件风险、缺陷和漏洞的挖掘、检测、利用、评估、管理、修复、缓解和防御等技术方法。深度学习在开源软件中的应用和实践论坛中，各位作者就深度学习技术在开源软件生态中的应用展开研究工作。领域软件工程论坛关注工业软件、科学计算软件、高性能计算软件、智能软件、区块链软件等领域软件开发过程中所面临的挑战、取得的成果及实践应用前景。面向人工智能的推荐系统前沿研究论坛中，参会作者们围绕推荐系统中的特征表示与产业应用汇报了自己的研究工作。
学术类论坛中，顶会顶刊论坛聚焦软件相关领域研究热点和最新研究进展，邀请了多位优秀学者介绍研究工作并传授科研经验。优秀博士生论坛以优秀博士生学术报告和交流为主，同时发挥导师和工业界专家的指导作用，帮助博士生同学们开阔视野，提高创新能力。软件供应链理论与实践论坛汇集了软件供应链落地实践及与人工智能融合方法等的发展趋势和潮流。工业类论坛中，嵌入式操作系统论坛聚焦国产操作系统理论前沿和产业生态的最新研究进展，各位报告人深度解析了国内外嵌入式操作系统软件的发展现状与趋势。华为-CCF专委会创新论坛上，各位获得“CCF-华为胡杨林创新基金”的优秀学者，围绕软件相关理论研究、工具成果和行业实践应用交流了研究工作。教育类论坛中，系统软件教研论坛邀请了软件相关领域的高校教师和业界专家主要围绕编译器相关教育教学问题进行了报告分享和交流研讨，并进行了关于课程改革与系统软件类竞赛活动的圆桌讨论。
24日下午，顶会顶刊论坛、系统软件教研论坛与华为-CCF专委会创新论坛继续进行，百答论坛、微服务与智能运维论坛等9个论坛也同步开始。论文专刊类论坛中，微服务与智能运维论坛聚焦业界和学术界关于微服务等的研究与实践最新发展；面向AI计算能耗调控的系统软件方法与技术论坛聚焦AI计算系统软件效能的重大突破和具有创新性、影响力的高水平研究成果；形式化方法与应用论坛围绕形式化方法基础理论、技术、支持工具以及领域应用等展开；智能系统分析和验证论坛关注智能系统的安全内涵与可解释性、形式化验证等及在软件工程中的应用。学术类论坛中，百答论坛邀请到了软件领域知名专家、学者为相关领域的参会人员进行不同方面的答疑解惑；人机物系统的建模理论与软件定义方法论坛聚焦人机物三元融合系统的计算、资源管理等方面的建模理论与方法。工业类论坛中，电子设计自动化软件验证论坛聚焦国内芯片验证软件最新行业进展和理论前沿，深度解析了我国电子设计自动化软件形式化验证领域现状；高可信嵌入式软件工程技术论坛聚焦国家重大工程中嵌入式软件的发展趋势、案例、科学问题和挑战。教育类论坛中，计算机软件通识教育论坛邀请了国内多位知名专家与教育组织管理者，分享了在计算机软件通识教育的理念、机制与举措。
会议期间，参会代表们就报告嘉宾、专家学者的成果与见解等展开了热烈的交流与讨论，并针对各领域学术和产业面临的难题、挑战以及未来前景发表了自己的看法。
为保障线上会议的顺利进行，组委会协同会务公司成立了大会保障组，搭建了高质量的网络直播与接入平台，保障组教师与志愿者全时段保障网络环境与设备，确保了各论坛线上的顺利开展。
西电计算机科学与技术学院
西安凯立会议会展有限公司在此次活动中负责了会议策划、场地规划、大会官网及微官网设计制作、主视觉设计、物料制作、设备提供、视频剪辑、会议直播、线上会议流程管控等专业会议服务，保障了活动的顺利举行。
陕公网安备61010302001134