大會概述

CCF中國軟件大會由中國計算機(jī)學(xué)會(CCF)主辦，CCF系統(tǒng)軟件專委會、形式化方法專委會、軟件工程專委會、復(fù)旦大學(xué)承辦。本次大會的主題為“智能化軟件創(chuàng)新推動數(shù)字經(jīng)濟(jì)與社會發(fā)展”。

CCF中國軟件大會由全國軟件與應(yīng)用學(xué)術(shù)會議(NASAC)與全國形式化方法與應(yīng)用會議(FMAC)兩個會議有機(jī)組成。NASAC創(chuàng)立于2002年，已舉辦二十一屆，由CCF主辦，CCF軟件工程專業(yè)委員會與CCF系統(tǒng)軟件專業(yè)委員會共同承辦，是中國軟件科學(xué)與工程相關(guān)領(lǐng)域參會人數(shù)最多、影響范圍最廣、涵蓋內(nèi)容最全面的學(xué)術(shù)會議。全國形式化方法與應(yīng)用會議(FMAC)創(chuàng)立于2016年，歷經(jīng)七屆，由CCF主辦，CCF形式化方法專業(yè)委員會承辦。FMAC聚焦形式化方法理論前沿和最新研究進(jìn)展，深化拓展形式化方法與相關(guān)領(lǐng)域的交叉，促進(jìn)形式化方法、工具和應(yīng)用在國內(nèi)的發(fā)展。

本次大會將組織特邀報告、青年學(xué)者論壇、論文?？搲㈨敃斂搲?、優(yōu)秀博士生論壇、學(xué)術(shù)論壇、工業(yè)論壇、教育論壇、學(xué)科競賽等40余個不同類型的活動。

主辦單位：

中國計算機(jī)學(xué)會

承辦單位：

CCF系統(tǒng)軟件專業(yè)委員會

CCF形式化方法專業(yè)委員會

CCF軟件工程專業(yè)委員會

復(fù)旦大學(xué)

協(xié)辦單位：

上海交通大學(xué)

華東師范大學(xué)

東華大學(xué)

上海計算機(jī)軟件技術(shù)開發(fā)中心

上海市軟件行業(yè)協(xié)會

上海市計算機(jī)學(xué)會

江蘇省計算機(jī)學(xué)會

贊助單位：

鉆石贊助商：華為

白金贊助商：OPPO、百度、航天宏圖、前沿動力

金牌贊助商：軒宇信息、螞蟻集團(tuán)、榮耀、科大訊飛

贊助商：達(dá)闥、同盾科技、測吧（北京）科技、

???????????????龍?zhí)锟萍肌⑸虾？匕病⒖拼髧鴦?chuàng)

會議門票

附加活動