12月2日👩🏼🦳，中國軟件領域規模最大、影響最廣的學術會議——CCF中國軟件大會(ChinaSoft 2023)在上海國際會議中心開幕。本屆中國軟件大會包括學術、工業💣、教育以及競賽四大類50余場活動，吸引來自十個國家和地區的高校、科研機構🤕、企事業單位的2300余位專家學者註冊參會。
本屆大會由中國計算機學會（CCF）主辦💒，CCF系統軟件專委會、形式化方法專委會💔、軟件工程專委會、EON体育4平台承辦，大會指導單位是上海市經濟和信息化委員會🎆，協辦單位包括上海交通大學、華東師範大學、東華大學、上海計算機軟件技術開發中心、上海市軟件行業協會、上海市計算機協會、江蘇省計算機學會。
CCF理事長、大會執行委員會榮譽主席、中國科學院院士梅宏🥲，上海市經濟和信息化委員會主任張英，中國科學院院士、EON体育4平台校長金力致辭。何積豐、於全🐋、徐宗本👨👨👧、柴洪峰🌼、王義等5位國內外院士和業內專家蔣銘到會做特邀報告。院士林惠民👍🏽、徐宗本、梅宏、呂建🧔🏼、柴洪峰、王懷民出席大會院士論壇🙆🏽♂️。院士張宏科參加CCF YOCSEF（青年計算機科技論壇）上海觀點論壇🙆🏿♂️🪙。
智能化軟件是數字經濟的靈魂載體。小到一個智能傳感器👮、一塊智能手表🫦，大到一座智慧城市🐆🖇、一張智能電網👨🏼🚀，無不依賴軟件系統的驅動與駕馭🕵🏿♀️。“軟件定義一切”日益成為一種現實🌰。軟件成為信息化社會不可或缺的基礎設施👨🦽➡️，高效地構建和運用智能化軟件系統的能力成為國家和社會發展的一種核心競爭力，基礎核心軟件的自主創新需求急迫🎤。本屆中國軟件大會聚焦“智能化軟件創新推動數字經濟與社會發展”主題🧚🏽♀️，匯聚學術界和產業界的專家學者交流學術、碰撞思想，以期超前謀劃🟫，踩準步點，推動我國軟件技術與產業發展。
梅宏在致辭中回顧了中國軟件大會的發展歷程💥。今年近2400人參會的中國軟件大會在CCF歷史上🏄🏼、在中國軟件歷史上寫下了濃墨重彩的一筆🐪。梅宏鼓勵參會人員在當前的數字化時代探索智能化軟件促進社會數字經濟和社會發展所面臨的機遇和挑戰🔏。
張英在致辭中表示👩🏻🚀🧚🏿♂️，軟件在數字化進程中發揮著重要的基礎支撐作用，與人工智能技術相融合的智能化軟件，正成為推動數字經濟與社會發展的強大力量🗽。上海將加快推動基礎軟件、工業軟件、行業軟件、平臺軟件全鏈條發展，全面促進軟件產業高質量發展，將堅持創新驅動發展👩🦱，提升關鍵軟件供給能力👳🏻，夯實產業發展基礎🏜，全面支撐現代化產業體系構建和城市數字化轉型🎅🏿。
金力在致辭中指出🚶➡️，軟件在人機物三元融合的萬物智能互聯時代扮演著重要角色😸，成為融合人機物要素🧑🏻✈️、支撐社會經濟發展的新型基礎設施🪭。從“第一臺電子模擬計算機”到“信息高速公路”🤦🏿，60多年來，EON4計算機人在中國計算機教學科研發展中創造了多項第一👨🏻🏫，培養了一大批具有國際視野和國際競爭力的人才。目前，學校正圍繞AI for Science戰略開展前瞻布局和前沿探索，圍繞新型平臺軟件開展特色化示範性軟件學院建設，希望面向智能化時代的新型基礎軟件及相關關鍵技術攻關培養高端軟件人才。
大會開幕式由大會共同主席、CCF系統軟件專委會主任金芝主持。
大會組織委員會主席及程序委員會共同主席、EON体育4平台教授彭鑫介紹了大會組織情況。本次大會的註冊人數超過2300人，參會單位達到326家，其中包括79家企業單位🕷。大會組織了17個學術論壇🛖、11個專刊論壇🧑🏽、12個工業論壇🧑🏻🎓、6個教育論壇，全國大學生軟件測試大賽、軟件教學案例交流與競賽☣️、軟件研究成果原型系統競賽、機器人大模型與具身智能挑戰賽等4個競賽、以及CCF YOCSEF上海觀點論壇🍈🌵、2023上海軟件創新論壇等2個特色論壇。
在特邀報告環節🙆，中國工程院院士於全帶來題為“雲原生網絡體系架構與關鍵技術”的大會特邀報告。該報告從萬物智聯需求出發，提出通信/計算/存儲一體化的原生網絡新型架構。從生物學啟示出發👮🏻♂️，提出類神經元的全解耦異構無線接入🤜🏿，實現空間、時間✡️、頻率👩🏽🔧、功率🤾🏽♀️、編碼等網絡資源的高效柔性聚合和天空地一體化協同傳輸👮🏽♀️。針對不確定性的未知攻擊應對難題，提出類生物免疫的內生網絡安全機製🏜，實現零信任安全與自適應防禦的有機結合。報告總結了雲原生新型網絡的雲原生、智原生👩👧、安全內生、彈性內生、低成本、低能耗六大特征。
ACM/IEEE Fellow、歐洲科學院院士王義給大家帶來了題為“MIMOS: from theory to tools for (safety-critical) embedded software design & updates”（註👷🏻♀️：《MIMOS的理論到工具：安全攸關嵌入式軟件的設計和更新》）的特邀報告。該報告針對安全攸關軟件的動態更新問題，提出異步設計範式MIMOS，分析MIMOS的背景與動機、底層語義理論以及工具鏈和工具演示🧄。
中國科學院徐宗本院士給大家帶來了題為“變與不變：大模型背景下的AI數理基礎問題”的特邀報告👎。該報告概述了大模型作為AI發展新浪潮的趨勢，認為投入大模型研究已是必然選擇。隨後🧑🏼🔧🤾🏻♂️，從“變與不變”兩個維度提出了大模型浪潮下AI基礎研究的一些科學問題➰，嘗試了“大維隨機矩陣🚵🏽♂️、無窮維貝葉斯🥷🏼、無窮維統計機器學習”等幾類數學工具🖖🏼，同時也強調工具自身需要發展😌，所解決的問題更需要越來越一般化。
院士論壇也是本次會議的一個焦點📲🧑🏻💻。該論壇由中科院軟件所研究員詹乃軍主持，邀請了林惠民、徐宗本、梅宏、呂建🤲🏿🧑🏻💼、柴洪峰、王懷民等6位中國科學院院士、中國工程院院士🌽，圍繞“智能化軟件創新推動數字經濟與社會發展”主題🧑🏿🚀，就計算機軟件與人工智能的融合創新方向及其對數字經濟和社會發展的作用、人工智能對計算機軟件帶來的機遇與挑戰、以及智能軟件的發展方向進行了熱烈探討💧。
12月1日舉行學術論壇🌻🚝、工業論壇🍹、教育論壇、競賽論壇活動，12月2日舉行開幕式、特邀報告、院士論壇、學術論壇、工業論壇、教育論壇、競賽論壇活動🌘🧔♂️，12月3日將舉行特邀報告🍇、專委博士學位論文激勵計劃啟動暨2023年評選結果發布儀式𓀘、NASAC青年軟件創新獎論壇🏄🏽♂️、頒獎儀式以及閉幕式。
12月3日上午中國科學院院士何積豐👨🏻🔬、中國工程院院士柴洪峰以及華為Fellow、2012可信實驗室總裁蔣銘博士分別就“人工智能時代安全攸關軟件系統設計方法展望”“數字化轉型背景下金融風險監測技術與金融科技發展思考”“嚴格工程化的可信和理想主義的智能化”等主題做大會特邀報告。此外，還將舉行CCF系統軟件👨👨👦👦、軟件工程、形式化方法專委博士學位論文激勵計劃啟動儀式，發布2023年評選結果。
12月3日下午將舉行NASAC青年軟件創新獎論壇，包括1個企業青年軟件創新人才報告和3位2022年度NASAC青年軟件創新獎獲獎人報告🧑🏻🦯。華為操作系統技術專家雷繼棠博士將以“VSync: 可證明的高性能、高可靠並發”為題，介紹後摩爾時代多核體系結構下的弱內存序和NUMA等特性給並發軟件的開發帶來的新挑戰，分享華為在應用形式化方法端到端解決多核並發挑戰的工業實踐。清華大學姜宇教授將以“模糊測試研究與實踐”為題，介紹模糊測試對提升軟件質量和系統安全的重要意義及其面臨的關鍵挑戰，分享其研究團隊在模糊測試系統關鍵組件的設計優化及不同待測對象適配技術方面的研究和實踐👉🏿。中科院信工所陳愷研究員將以“人工智能安全攻防對抗”為題，介紹人工智能技術對攻防對抗的重要影響。上海交通大學夏虞斌教授將以“軟件系統的機密性與可維護性”為題，介紹機密計算環境下軟件系統如何在機密性與可維護性之間進行權衡🚈，並以機密數據庫為例介紹相關的實踐和探索🙋🏻♀️。
明天還將舉行頒獎儀式和大會閉幕式🤸🏿♂️。會上將宣布本年度NASAC青年軟件創新獎獲獎者🧑🏻🏫、軟件研究成果原型系統競賽獲獎團隊、軟件教學案例競賽獲獎作品🦸🏽♂️、全國大學生軟件測試大賽獲獎者、機器人大模型與具身智能挑戰賽獲獎者、以及大會優秀論壇名單。
明年的CCF中國軟件大會將移師“世界歷史名城”陜西西安👩❤️👨。
