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