2021 CCF中國軟件大會（CCF Chinasoft）將於2021年12月24日至26日在陝西省西安市高新國際會議中心召開。大會由中國計算機學會（CCF）主辦，CCF軟件工程專委會、係統軟件專委會、形式化方法專委會、西安電子科技大學承辦，由西安交通大學、西北工業大學、西北農林科技大學、manbetxapp下载 、航空工業西安航空計算技術研究所協辦。大會由華為技術有限公司、西安前沿動力軟件開發有限責任公司、彙豐科技、百度公司作為白金讚助商。本次大會的主題為“基礎軟件：自主、安全與創新”。

CCF中國軟件大會由全國軟件與應用學術會議（NASAC）與全國形式化方法與應用會議（FMAC）兩個會議有機組成。NASAC創立於2002年，已舉辦十九屆，由CCF主辦，CCF軟件工程專業委員會與CCF係統軟件專業委員會共同承辦，是中國軟件科學與工程相關領域參會人數最多、影響範圍最廣、涵蓋內容最全麵的學術會議。全國形式化方法與應用會議（FMAC）創立於2016年，曆經五屆，由CCF主辦，CCF形式化方法專業委員會承辦。FMAC聚焦形式化方法理論前沿和最新研究進展，深化拓展形式化方法與相關領域的交叉，促進形式化方法、工具和應用在國內的發展。

2021CCF中國軟件大會將組織特邀報告、院士高峰論壇、青年學者論壇、論文專刊論壇、頂會頂刊論壇、學術論壇、工業論壇、教育論壇、學科競賽答辯和軟件研究成果展示等30餘個不同類型的活動。大會將邀請10餘位軟件及相關領域中國科學院院士與中國工程院院士，為大會帶來特邀報告並參加院士高峰論壇等活動。擬邀請的兩院院士包括中國科學院院士林惠民，中國科學院院士陶文銓，中國科學院院士梅宏，中國科學院院士呂建，中國科學院院士李應紅，中國工程院院士廖湘科，中國科學院院士楊孟飛，中國科學院院士管曉宏，中國科學院院士王懷民，中國科學院院士馮登國，中國工程院院士孫凝暉等。

本次大會預計將吸引超過2000人線下參會，參會單位超過200家。作為中國軟件領域的年度盛會，誠摯地邀請軟件領域學術界、企業界、教育界的學者、師生、從業者等前來參會！

會議鏈接：http://chinasoft.ccf.org.cn/

manbetxapp下载

計算機科學與工程學院

2021年11月11日