CCF中(zhong)國(guo)(guo)(guo)(guo)軟(ruan)(ruan)件(jian)大會(hui)由中(zhong)國(guo)(guo)(guo)(guo)計算(suan)機(ji)學(xue)(xue)會(hui)(CCF)主辦(ban),CCF軟(ruan)(ruan)件(jian)工程(cheng)專委(wei)(wei)會(hui)、系統軟(ruan)(ruan)件(jian)專委(wei)(wei)會(hui)、形(xing)(xing)式化(hua)方(fang)法(fa)專委(wei)(wei)會(hui)、復旦大學(xue)(xue)承辦(ban),由全(quan)(quan)(quan)國(guo)(guo)(guo)(guo)軟(ruan)(ruan)件(jian)與(yu)(yu)應(ying)用學(xue)(xue)術(shu)會(hui)議(yi)(yi)(NASAC)與(yu)(yu)全(quan)(quan)(quan)國(guo)(guo)(guo)(guo)形(xing)(xing)式化(hua)方(fang)法(fa)與(yu)(yu)應(ying)用會(hui)議(yi)(yi)(FMAC)兩個會(hui)議(yi)(yi)有(you)機(ji)組成。其中(zhong),NASAC創(chuang)立于(yu)2002年(nian),是(shi)中(zhong)國(guo)(guo)(guo)(guo)軟(ruan)(ruan)件(jian)科學(xue)(xue)與(yu)(yu)工程(cheng)相關領域參會(hui)人(ren)數多、影(ying)響范(fan)圍廣、涵蓋(gai)內容全(quan)(quan)(quan)面(mian)的(de)(de)學(xue)(xue)術(shu)會(hui)議(yi)(yi);FMAC創(chuang)立于(yu)2016年(nian),聚焦形(xing)(xing)式化(hua)方(fang)法(fa)理論前沿(yan)和(he)最新研(yan)究進(jin)展,深(shen)化(hua)拓展形(xing)(xing)式化(hua)方(fang)法(fa)與(yu)(yu)相關領域的(de)(de)交(jiao)叉,促(cu)進(jin)形(xing)(xing)式化(hua)方(fang)法(fa)、工具和(he)應(ying)用在國(guo)(guo)(guo)(guo)內的(de)(de)發(fa)展。
大(da)會將組織特邀報告、青年學者論(lun)(lun)壇(tan)(tan)、論(lun)(lun)文專刊論(lun)(lun)壇(tan)(tan)、頂(ding)會頂(ding)刊論(lun)(lun)壇(tan)(tan)、優(you)秀博士(shi)生論(lun)(lun)壇(tan)(tan)、學術論(lun)(lun)壇(tan)(tan)、工(gong)業(ye)論(lun)(lun)壇(tan)(tan)、教育論(lun)(lun)壇(tan)(tan)、學科競賽(sai)等(deng)30余(yu)個不同類(lei)型的活動。