大會(huì)概述

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

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

本次大會(huì)將組織特邀報(bào)告、青年學(xué)者論壇、論文專(zhuān)刊論壇、頂會(huì)頂刊論壇、優(yōu)秀博士生論壇、學(xué)術(shù)論壇、工業(yè)論壇、教育論壇、學(xué)科競(jìng)賽等40余個(gè)不同類(lèi)型的活動(dòng)。

主辦單位：

中國(guó)計(jì)算機(jī)學(xué)會(huì)

承辦單位：

CCF系統(tǒng)軟件專(zhuān)業(yè)委員會(huì)

CCF形式化方法專(zhuān)業(yè)委員會(huì)

CCF軟件工程專(zhuān)業(yè)委員會(huì)

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

協(xié)辦單位：

上海交通大學(xué)

華東師范大學(xué)

東華大學(xué)

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

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

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

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

贊助單位：

鉆石贊助商：華為

白金贊助商：OPPO、百度、航天宏圖、前沿動(dòng)力

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

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

???????????????龍?zhí)锟萍?、上?？匕病⒖拼髧?guó)創(chuàng)

會(huì)議門(mén)票

附加活動(dòng)