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