來源：西電計算機科學與技術學院
發(fā)布時間：2021年12月24日
本年度CCF中國軟件大會（CCF ChinaSoft）由中國計算機學會（CCF）主辦，CCF軟件工程專委會、系統(tǒng)軟件專委會、形式化方法專委會、西安電子科技大學承辦，西安電子科技大學計算機科學與技術學院（國家示范性軟件學院）具體落實。大會由全國軟件與應用學術會議（NASAC）與全國形式化方法與應用會議（FMAC）兩個會議有機組成。今年是CCF中國軟件大會自NASAC會議召開起的20周年，CCF三個專委會與承辦單位均全力以赴，做好了會議召開的準備。與此同時，因為全國部分地區(qū)與舉辦地西安市受到新冠疫情的影響，組委會對大會召開模式進行了應對性調整。調整后3天的大會活動安排為，12月24-25日通過線上的方式進行，所有分論壇都安排在這兩天進行，12月26日在北京友誼賓館設立線下會場，同時通過線上直播平臺全程直播。
2021年12月24日，CCF中國軟件大會（CCF ChinaSoft）正式開幕，作為大會會期（12月24日~26日）首日，主要進行各項論壇活動，包括頂會頂刊論壇、優(yōu)秀博士生論壇、百答論壇、微服務與智能運維論壇等21個開放性論壇，以及軟件眾測論壇和CCF系統(tǒng)軟件專委會年會兩個閉門會議，涵蓋?？愓搲?、學術類論壇、工業(yè)類論壇與教育類論壇等四大類論壇活動。?？愓搲饕ù髸O立的面向廣大師生征稿的論壇，學術類論壇主要指由各位軟件領域同行發(fā)起，邀請領域內知名專家學者就相關學術問題給予報告的論壇，工業(yè)類論壇主要是工業(yè)界同行發(fā)起的，面向企業(yè)界實際相關問題的論壇活動，教育類論壇主要包括各位老師發(fā)起的旨在探討軟件工程、系統(tǒng)軟件、形式化方法相關領域教育教學問題的論壇。
組委會提供了多種線上參會方式，包括騰訊會議室、B站直播間、線上直播平臺等。24日大會吸引了國內外軟件工程相關領域師生與從業(yè)人員的廣泛參與，當天上午與下午各論壇的騰訊會議室同時在線人數(shù)均接近或超過1000人，B站直播間同時在線人數(shù)均接近或超過2萬人，線上直播平臺同時在線人數(shù)均接近或超過1.5萬人。當天累計騰訊會議室在線參會人數(shù)超過2000人，B站直播間累計在線人數(shù)超過4.4萬人，線上直播平臺累計在線人數(shù)超過4萬人，全天合計超過8.7萬人。
24日上午進行了頂會頂刊論壇、定理證明理論與應用論壇、嵌入式操作系統(tǒng)論壇、系統(tǒng)軟件教研論壇等12個論壇活動。?？愓搲?，智能化軟件與軟件控制論論壇中，各位參會作者圍繞新一代信息技術下的軟件系統(tǒng)智能化控制問題匯報了自己的論文工作。定理證明理論與應用論壇圍繞定理證明及相關領域的突破性技術、關鍵理論和重要應用展開。系統(tǒng)軟件安全論壇的研究論文關注系統(tǒng)軟件風險、缺陷和漏洞的挖掘、檢測、利用、評估、管理、修復、緩解和防御等技術方法。深度學習在開源軟件中的應用和實踐論壇中，各位作者就深度學習技術在開源軟件生態(tài)中的應用展開研究工作。領域軟件工程論壇關注工業(yè)軟件、科學計算軟件、高性能計算軟件、智能軟件、區(qū)塊鏈軟件等領域軟件開發(fā)過程中所面臨的挑戰(zhàn)、取得的成果及實踐應用前景。面向人工智能的推薦系統(tǒng)前沿研究論壇中，參會作者們圍繞推薦系統(tǒng)中的特征表示與產業(yè)應用匯報了自己的研究工作。
學術類論壇中，頂會頂刊論壇聚焦軟件相關領域研究熱點和最新研究進展，邀請了多位優(yōu)秀學者介紹研究工作并傳授科研經驗。優(yōu)秀博士生論壇以優(yōu)秀博士生學術報告和交流為主，同時發(fā)揮導師和工業(yè)界專家的指導作用，幫助博士生同學們開闊視野，提高創(chuàng)新能力。軟件供應鏈理論與實踐論壇匯集了軟件供應鏈落地實踐及與人工智能融合方法等的發(fā)展趨勢和潮流。工業(yè)類論壇中，嵌入式操作系統(tǒng)論壇聚焦國產操作系統(tǒng)理論前沿和產業(yè)生態(tài)的最新研究進展，各位報告人深度解析了國內外嵌入式操作系統(tǒng)軟件的發(fā)展現(xiàn)狀與趨勢。華為-CCF專委會創(chuàng)新論壇上，各位獲得“CCF-華為胡楊林創(chuàng)新基金”的優(yōu)秀學者，圍繞軟件相關理論研究、工具成果和行業(yè)實踐應用交流了研究工作。教育類論壇中，系統(tǒng)軟件教研論壇邀請了軟件相關領域的高校教師和業(yè)界專家主要圍繞編譯器相關教育教學問題進行了報告分享和交流研討，并進行了關于課程改革與系統(tǒng)軟件類競賽活動的圓桌討論。
24日下午，頂會頂刊論壇、系統(tǒng)軟件教研論壇與華為-CCF專委會創(chuàng)新論壇繼續(xù)進行，百答論壇、微服務與智能運維論壇等9個論壇也同步開始。論文專刊類論壇中，微服務與智能運維論壇聚焦業(yè)界和學術界關于微服務等的研究與實踐最新發(fā)展；面向AI計算能耗調控的系統(tǒng)軟件方法與技術論壇聚焦AI計算系統(tǒng)軟件效能的重大突破和具有創(chuàng)新性、影響力的高水平研究成果；形式化方法與應用論壇圍繞形式化方法基礎理論、技術、支持工具以及領域應用等展開；智能系統(tǒng)分析和驗證論壇關注智能系統(tǒng)的安全內涵與可解釋性、形式化驗證等及在軟件工程中的應用。學術類論壇中，百答論壇邀請到了軟件領域知名專家、學者為相關領域的參會人員進行不同方面的答疑解惑；人機物系統(tǒng)的建模理論與軟件定義方法論壇聚焦人機物三元融合系統(tǒng)的計算、資源管理等方面的建模理論與方法。工業(yè)類論壇中，電子設計自動化軟件驗證論壇聚焦國內芯片驗證軟件最新行業(yè)進展和理論前沿，深度解析了我國電子設計自動化軟件形式化驗證領域現(xiàn)狀；高可信嵌入式軟件工程技術論壇聚焦國家重大工程中嵌入式軟件的發(fā)展趨勢、案例、科學問題和挑戰(zhàn)。教育類論壇中，計算機軟件通識教育論壇邀請了國內多位知名專家與教育組織管理者，分享了在計算機軟件通識教育的理念、機制與舉措。
會議期間，參會代表們就報告嘉賓、專家學者的成果與見解等展開了熱烈的交流與討論，并針對各領域學術和產業(yè)面臨的難題、挑戰(zhàn)以及未來前景發(fā)表了自己的看法。
為保障線上會議的順利進行，組委會協(xié)同會務公司成立了大會保障組，搭建了高質量的網絡直播與接入平臺，保障組教師與志愿者全時段保障網絡環(huán)境與設備，確保了各論壇線上的順利開展。
西電計算機科學與技術學院
西安凱立會議會展有限公司在此次活動中負責了會議策劃、場地規(guī)劃、大會官網及微官網設計制作、主視覺設計、物料制作、設備提供、視頻剪輯、會議直播、線上會議流程管控等專業(yè)會議服務，保障了活動的順利舉行。
陜公網安備61010302001134