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